From 7b5d6fa13092a5a9583f3f14e455c54500762e40 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@cs.indiana.edu>
Date: Thu, 4 Dec 2014 10:44:14 -0500
Subject: [PATCH] Ignore extra-pkgs/

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index adae2ca669..fe632798e0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,9 @@
 # It's common to configure the PLTADDONDIR to be here.
 /add-on/
 
+# This is where to put packages installed with `--clone`
+/extra-pkgs/
+
 # Everything below makes sense on any package repository, so it's
 # stuff that should be put into each such repository. The same holds
 # for ".mailmap" (which some people can decide if they want to thin it