update svn:ignore
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@847 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
3d18e2f2fe
commit
1fbd41306c