diff options
| author | gingerBill <bill@gingerbill.org> | 2020-04-19 21:45:04 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2020-04-19 21:45:04 +0100 |
| commit | 97f7a558faaf206bb7d10eaf3adce99322fd9541 (patch) | |
| tree | 2a3e8f91525692f14de4064751efae62699f10bb /src/checker.cpp | |
| parent | 2c91c21021e1c4d1d675ee430e0d7ccf88e882be (diff) | |
`#optional_ok` tag for procedures
Diffstat (limited to 'src/checker.cpp')
0 files changed, 0 insertions, 0 deletions