Removed a dynamically generated file from the distribution.

2007-02-25 22:49:22 +00:00 · 2007-02-25 22:49:22 +00:00 · 6a0dd9377d
parent a4e52740bb
commit 6a0dd9377d
1 changed files with 0 additions and 1 deletions
--- 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