diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-12-16 05:35:23 -0500 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-12-16 05:35:23 -0500 |
| commit | 54dfe4289fd1b9b41f05fca6371c320e6cea35b8 (patch) | |
| tree | aff4e024eac5279678cf7836a776a2bb7a0c9ba6 /inc | |
| parent | 68849a8cd97718109dce1e548b099239376f3f2e (diff) | |
Implement get_job_no() via control page
Diffstat (limited to 'inc')
0 files changed, 0 insertions, 0 deletions