diff options
author | Anders Kaseorg <andersk@mit.edu> | 2013-11-22 09:36:14 -0500 |
---|---|---|
committer | Anders Kaseorg <andersk@mit.edu> | 2013-11-22 09:36:14 -0500 |
commit | 90b807ed5c13a40f327293e5d9d47b0f3f821656 (patch) | |
tree | 6698b5b8e32a1117388f821cc8fdeb69d3a0af30 /tests/time.urp | |
parent | 5eb18e20362f371c93f6a3d8c5c86997f871583c (diff) |
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(-)
Diffstat (limited to 'tests/time.urp')
0 files changed, 0 insertions, 0 deletions