diff options
| author | Gaëtan Gilbert | 2019-01-07 13:23:22 +0100 |
|---|---|---|
| committer | GitHub | 2019-01-07 13:23:22 +0100 |
| commit | 168a13dab1c9987f592994150997e692d4d7e40b (patch) | |
| tree | c33f39d8ea3a093bac4e98d140336fd49af92e0c /doc/plugin_tutorial/tuto1/src/simple_declare.ml | |
| parent | 707c99ce29fdca3c02c0ea573d1bf20490f361f2 (diff) | |
| parent | d139debf0ea444c5dd7b654a5d2c47c2d9bec534 (diff) | |
Merge pull request #22 from SkySkimmer/unlicense
Relicense to Unlicense
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_declare.ml')
0 files changed, 0 insertions, 0 deletions