diff options
| author | Jim Fehrle | 2020-04-15 11:37:29 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2020-04-15 11:37:29 -0700 |
| commit | ae84c97ef9b55eca393270325024121102f5c482 (patch) | |
| tree | 30b360136cbdbc9cfef85d72e6965e6b5db50815 /doc/plugin_tutorial/tuto1/src/simple_declare.ml | |
| parent | e75ad2a575bc73febbf7eb075545e95d102f7544 (diff) | |
Add needed commas in message
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_declare.ml')
0 files changed, 0 insertions, 0 deletions