diff options
author | Martin Polden <mpolden@mpolden.no> | 2020-08-24 11:17:50 +0200 |
---|---|---|
committer | Martin Polden <mpolden@mpolden.no> | 2020-08-24 11:20:37 +0200 |
commit | 2c57eefd40ccd8c3b61a70ad8e82a8b26b8935cf (patch) | |
tree | 892ed4ac5ef9a7a1a96face92e9a3e98a24219e7 /docprocs | |
parent | d0dc1411dcc1b3aac5504d7101633c4af1995cc4 (diff) |
Consider only compile version of last submission
Diffstat (limited to 'docprocs')
0 files changed, 0 insertions, 0 deletions