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 /Makefile.checker | |
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 'Makefile.checker')
0 files changed, 0 insertions, 0 deletions