diff options
| author | Ginger Bill <bill@gingerbill.org> | 2017-10-01 20:27:02 +0100 |
|---|---|---|
| committer | Ginger Bill <bill@gingerbill.org> | 2017-10-01 20:27:02 +0100 |
| commit | afb5538e832d7772b5149c899e78ccb8edf2dde3 (patch) | |
| tree | b19b8ab0a6869d6b9f90443fa9002862d394f2b5 /src/checker.cpp | |
| parent | 1f24f105cc49cff6bbe1034215ae86cb4450f831 (diff) | |
Default procedure values for `proc`
Diffstat (limited to 'src/checker.cpp')
0 files changed, 0 insertions, 0 deletions