diff options
| author | Adelyn Breedlove <[email protected]> | 2019-01-18 11:11:32 -0700 |
|---|---|---|
| committer | Adelyn Breedlove <[email protected]> | 2019-01-18 11:11:32 -0700 |
| commit | ae1f5e3513ec731a2c8d57fb44dc9f3f4be60c63 (patch) | |
| tree | 72712b3173085f1624fdd4427cf91df6139e5398 /lib/config.mli | |
| parent | oml why is this so annoying (diff) | |
| download | disml-ae1f5e3513ec731a2c8d57fb44dc9f3f4be60c63.tar.xz disml-ae1f5e3513ec731a2c8d57fb44dc9f3f4be60c63.zip | |
GitHub needs to named /docs not /doc
Diffstat (limited to 'lib/config.mli')
0 files changed, 0 insertions, 0 deletions