X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2Fsrclist.txt;h=e3cc11526e46defc7d6f6f2eea08ca4b796c8f3a;hb=177f5256e8632718eb5d2bb6aecb3f9eec614baf;hp=3cb0d95f0b850b570eacdba0fc3becb816e6b45f;hpb=eb8d73f9107decfddc7de65c4d3ba55b85850b8e;p=pspp

diff --git a/config/srclist.txt b/config/srclist.txt
index 3cb0d95f0b..e3cc11526e 100644
--- a/config/srclist.txt
+++ b/config/srclist.txt
@@ -1,4 +1,3 @@
-# $Id: srclist.txt,v 1.152 2007-06-21 18:41:50 karl Exp $
 # Files for which we are not the source.  See ./srclistvars.sh for the
 # variable definitions.