.gitignore: add piplib
commit7ec4071be9e18c20d4629173a92c93cd8f5d150b
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 16 May 2018 19:43:01 +0000 (16 21:43 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 16 May 2018 19:51:24 +0000 (16 21:51 +0200)
tree29d8e0595120e0318e492da20d5cda107b46edb6
parent573f11968d0cca8be4828dbadf982194ced65050
.gitignore: add piplib

The piplib submodule was removed all the way back
isl-0.01-134-g309036cf4f (add copyright statements,
Wed Dec 16 19:25:40 2009 +0000), initially by mistake and
then properly in isl-0.01-146-gff1ea6be3f (properly remove
piplib submodule, Wed Jan 13 09:59:16 2010 +0100).
However, it may not get removed completely when moving from
an earlier commit to a later one since it may itself leave
some untracked files.  Just ignore it in that case.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
.gitignore