diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-07-26 14:44:08 +0200 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-07-26 16:32:49 +0200 |
| commit | d8a07b44f5245f8e2f3a47095c70bb3cc85e3d99 (patch) | |
| tree | f60119caba67b30070a47f9f9a2c409560e442ef /engine/namegen.ml | |
| parent | 32be84c5ba384f93b350a551d7bbbeec03768046 (diff) | |
remove checker/Makefile
This historical Makefile was used during the development of coqcheck,
but was unused since then : the checker is built via Coq's main Makefile.
So let's remove this one to avoid any risk of confusion.
Diffstat (limited to 'engine/namegen.ml')
0 files changed, 0 insertions, 0 deletions