diff options
| author | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2018-03-24 12:22:02 +0100 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2018-08-14 19:15:20 +0200 |
| commit | fc7c58da98f0eddbd0109e2a09bf394dde555176 (patch) | |
| tree | 6c44c60a0638dbc6aba8843b056f6c5c17ed1298 /Dockerfile | |
| parent | aa97e067caae9cbe25fc9140fc3e625933615fb9 (diff) | |
feat: Add support for both wall and cpu time
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions