diff options
| author | Bernhard Schommer | 2018-01-11 15:36:34 +0100 |
|---|---|---|
| committer | Bernhard Schommer | 2018-01-11 15:36:34 +0100 |
| commit | 8de997434f5002728840123dab3aa3e899d1d3f2 (patch) | |
| tree | 1303972c3b822ba5493fb19e4bd5a1c1dd1e82e1 /kernel/declareops.ml | |
| parent | d439c01190f45de5ac493b8f55d361503e83ad03 (diff) | |
Added newline at the end of usage of coqdep.
Diffstat (limited to 'kernel/declareops.ml')
0 files changed, 0 insertions, 0 deletions