summaryrefslogtreecommitdiffstats
path: root/MANIFEST
diff options
context:
space:
mode:
Diffstat (limited to 'MANIFEST')
-rw-r--r--MANIFEST1
1 files changed, 0 insertions, 1 deletions
diff --git a/MANIFEST b/MANIFEST
index b2432ca..d710e9b 100644
--- a/MANIFEST
+++ b/MANIFEST
@@ -751,7 +751,6 @@
./pablo/ProcIDs.h
./pablo/PabloSedscr
./pablo/ProcTrace.h
-./pablo/ProcTrace.inc
./pablo/READ_ME
./src/.indent.pro _DO_NOT_DISTRIBUTE_