diff options
| author | Michael Soegtrop | 2019-06-18 21:01:27 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2019-06-18 21:01:27 +0200 |
| commit | 01d0b60694e3b4ee810bdde7115b40e49355ac24 (patch) | |
| tree | b58fbc9774c31c89e51eb3084c944279ada9cf75 /doc/plugin_tutorial/tuto1/src/simple_declare.ml | |
| parent | 313518aab118dfdd6f559b5a0fc431e4e6740fdd (diff) | |
Removed "b" from function names in Bool.v
Changed year in headers
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_declare.ml')
0 files changed, 0 insertions, 0 deletions