Преглед на файлове

Removed a dynamically generated file from the distribution.

dtrg преди 17 години
родител
ревизия
173ca7d5d7
променени са 1 файла, в които са добавени 0 реда и са изтрити 1 реда
  1. 0 1
      util/ego/share/.distr

+ 0 - 1
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