diff options
| author | Jose Fernando Lopez Fernandez | 2019-05-31 19:02:48 -0400 |
|---|---|---|
| committer | Jose Fernando Lopez Fernandez | 2019-05-31 19:02:48 -0400 |
| commit | 573d33f49433f7b1dce3603c8138c0ded726cfc5 (patch) | |
| tree | 4a829628d5bb6cefc0aedf6451caa064c8945ad4 /doc/plugin_tutorial/tuto1/src/simple_print.ml | |
| parent | 7032085c809993d6a173e51aec447c02828ae070 (diff) | |
Fixed typo in CONTRIBUTING.md
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_print.ml')
0 files changed, 0 insertions, 0 deletions