dump: Ignore an empty inner_end in dump_value_31().

[pspp] / .gitignore

diff --git a/.gitignore b/.gitignore
index ad1ca01a94aef3769045f7ab8e3c43548281e22f..bea2475981258605e6162da1d092384b227f9cea 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,10 +1,11 @@
 germano/
 smekens/
 williams/
-web/
-websav/
+spv/
+unzipped/
+webold/
 dump
 tdump*
 ndump*
 pspp.jnl
-
+dump2