diff options
author | Ralf Jung <post@ralfj.de> | 2017-09-29 11:54:57 +0200 |
---|---|---|
committer | Ralf Jung <post@ralfj.de> | 2017-09-29 11:54:57 +0200 |
commit | 388db1f6be8a52d0585cdf48489dfab8499d7ef5 (patch) | |
tree | 1ada83e67ae8a3a615a7e65b6e08c9c956d99b15 /test-suite/output/ArgumentsScope.v | |
parent | 39eb1cfb3ac9bc12b6cd80e6bca7c4baf6b365c0 (diff) |
start counting at 0...
Diffstat (limited to 'test-suite/output/ArgumentsScope.v')
0 files changed, 0 insertions, 0 deletions