* Makefile: removed dead files

facebookarchive · Sep 7, 2012 · cc635a1 · cc635a1
1 parent c60bd6b
commit cc635a1
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -9,7 +9,7 @@
 ##############################################################################
 TOP=$(shell pwd)
 
-SRC=test.ml main.ml 
+SRC=main.ml 
 
 TARGET=pfff
 

diff --git a/main_web.ml b/main_web.ml
diff --git a/test.ml b/test.ml