Mercurial > urweb

comparison src/coq/Makefile @ 1908:ab1a3737b306

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
make clean: Clean bin/mlton, src/urweb.mlton.lex, src/urweb.mlton.grm Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
author Anders Kaseorg <andersk@mit.edu>
date Fri, 22 Nov 2013 09:36:14 -0500
parents 705cb41ac7d0
children
comparison
equal deleted inserted replaced
1907:cb57ba73a61d 1908:ab1a3737b306