diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-09-27 19:09:40 -0400 |
|---|---|---|
| committer |  Maxime Dénès <mail@maximedenes.fr> | 2016-11-04 09:48:56 +0100 |
| commit | 962a5d3526290b83967a92ef1eb772894d10362b (patch) | |
| tree | cd047752591d15ddb71679a9b78caf564e689eb1 /tools/ocamllibdep.mll | |
| parent | dd558cc1a9b87d2b1dda5d1ff2baf9f02a32e519 (diff) | |
Silence option deprecation warnings in the compat file
Some options are expected to be deprecated
Diffstat (limited to 'tools/ocamllibdep.mll')
0 files changed, 0 insertions, 0 deletions