From 066dbcbe0f3401464ce35b9b7567f42f7ca632a7 Mon Sep 17 00:00:00 2001 From: Daniel James Date: Sun, 26 Jan 2014 13:41:59 +0000 Subject: [PATCH] Ignore the `/dist` directory. Used as the destination when building some of the tools. --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index e5b5fe87af..962b5a0b26 100644 --- a/.gitignore +++ b/.gitignore @@ -3,6 +3,7 @@ /bjam /bootstrap.log /boost +/dist /project-config.jam /stage /user-config.jam