Removed a dynamically generated file from the distribution.

davidgiven · Feb 25, 2007 · 6a0dd93 · 6a0dd93
1 parent a4e5274
commit 6a0dd93
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/util/ego/share/.distr b/util/ego/share/.distr
@@ -28,7 +28,6 @@ map.h
 parser.c
 parser.h
 pop_push.awk
-pop_push.h
 put.c
 put.h
 show.c