aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar Trevor Elliott <trevor@galois.com>2013-05-16 16:24:59 -0700
committerGravatar Trevor Elliott <trevor@galois.com>2013-05-16 16:24:59 -0700
commit25b014cdf44ed378413a7cb945b8c112ee9b9915 (patch)
treede442bc7015c2218dbe50e173aa1a8e0f5467981 /Makefile
parent710d23f24d5ad3c1b57ef8f2069615301aaedc8c (diff)
Build a likely broken fiveui.xpi
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 0 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 8b465ec..1c0e9c9 100644
--- a/Makefile
+++ b/Makefile
@@ -85,5 +85,3 @@ test: chromeExtension profile-chrome profile-firefox ffExtension pkg-rsTester
cd $(HEADLESS_DIR) && $(MVN_TEST_CMD)
endif
-
-# Documentation ################################################################