diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2017-06-09 15:51:41 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-06-10 09:55:04 +0200 |
| commit | 1529b559337c2c2c2384e507e04d717ff65978e8 (patch) | |
| tree | 388de14b0fee8bf39221739442d24eb1a9a5ab4a /.gitignore | |
| parent | 9d855e54e6682f7beb4253d7f95b86648be39e86 (diff) | |
Document if matching is case-sensitive for substance names
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions