From 2c8c8f9a06acd9d8077107c3d564ade1cbe39b08 Mon Sep 17 00:00:00 2001 From: Brian Anderson Date: Mon, 5 Mar 2012 18:17:26 -0800 Subject: [PATCH] Stop .gitignoring rustboot. It does not exist --- .gitignore | 1 - 1 file changed, 1 deletion(-) diff --git a/.gitignore b/.gitignore index e1142f987d8..58d39c99722 100644 --- a/.gitignore +++ b/.gitignore @@ -48,7 +48,6 @@ .project .valgrindrc lexer.ml -rustboot TAGS version.ml version.texi