diff options
Diffstat (limited to 'BitKeeper/etc/ignore')
-rw-r--r-- | BitKeeper/etc/ignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/BitKeeper/etc/ignore b/BitKeeper/etc/ignore index d20446eef6..0d5cdf1d6b 100644 --- a/BitKeeper/etc/ignore +++ b/BitKeeper/etc/ignore @@ -6,6 +6,7 @@ PENDING/* *.a *.pyc extras/mini-os/h/hypervisor-ifs +linux-xen-sparse tools/*/build/lib*/*.py tools/balloon/balloon tools/misc/miniterm/miniterm |