| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2017-07-05 23:01 +0200 | 1762 | Capture1.java | file | revisions | annotate |
| -rw-r--r-- | 2017-07-05 23:01 +0200 | 397 | Capture2.java | file | revisions | annotate |
| -rw-r--r-- | 2017-07-05 23:01 +0200 | 133 | Capture2.out | file | revisions | annotate |
| -rw-r--r-- | 2017-07-05 23:01 +0200 | 1374 | Capture3.java | file | revisions | annotate |
| -rw-r--r-- | 2017-07-05 23:01 +0200 | 1696 | Capture5.java | file | revisions | annotate |
| -rw-r--r-- | 2017-07-05 23:01 +0200 | 397 | Martin.java | file | revisions | annotate |
| -rw-r--r-- | 2017-07-05 23:01 +0200 | 1032 | Martin.out | file | revisions | annotate |
| -rw-r--r-- | 2017-07-05 23:01 +0200 | 532 | T6594284.java | file | revisions | annotate |
| -rw-r--r-- | 2017-07-05 23:01 +0200 | 85 | T6594284.out | file | revisions | annotate |