Hide keyboard shortcuts

Hot-keys on this page

r m x p   toggle line displays

j k   next/prev highlighted chunk

0   (zero) top of page

1   (one) first highlighted chunk

1

2

3

4

# A file in another directory.  We're checking that it ends up in the 

# HTML report. 

 

print("This is the other src!")