archives/: Deleted, GitHub now does it

pinard · Apr 16, 2012 · eee3c3d · eee3c3d
1 parent 416fab8
commit eee3c3d
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/web/site.mk b/web/site.mk
@@ -4,5 +4,3 @@ margin_color = "\#cccccc"
 caption_color = "\#f0f0f0"
 
 SITE_ROOT = 1
-
-GOALS += archives
diff --git a/web/src/archives b/web/src/archives