diff options
| author | Gaëtan Gilbert | 2020-02-17 13:25:21 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-17 13:25:21 +0100 |
| commit | cd7323ce0f7648f6db732292c0ded05c480be71f (patch) | |
| tree | dc9056daf8854dec4342b361010035153c56949f /interp/notation.mli | |
| parent | d122f7d5ffd5d3b26153a0ad7b74a669b8dd1c9d (diff) | |
| parent | 8d73861eeae56321a106f28d07b47d5d6699939d (diff) | |
Merge PR #11589: [coqdep] Remove support for `-c` ocamldep replacement.
Reviewed-by: SkySkimmer
Reviewed-by: Zimmi48
Diffstat (limited to 'interp/notation.mli')
0 files changed, 0 insertions, 0 deletions