From 5c352d59b6370cd6caa8413388b763f9b4c9aefb Mon Sep 17 00:00:00 2001 From: Martin Pool Date: Sun, 29 Nov 2015 22:37:46 -0800 Subject: Remove obsolete CVS/RCS file stamps --- .ccmalloc | 1 - 1 file changed, 1 deletion(-) (limited to '.ccmalloc') diff --git a/.ccmalloc b/.ccmalloc index a36a01d..6be9926 100644 --- a/.ccmalloc +++ b/.ccmalloc @@ -9,7 +9,6 @@ ############################################################################## ## (C) 1997-1998 Armin Biere, 1998 Johannes Keukelaar -## $Id$ ############################################################################## %%% `%' and `#' are comments !!!!!!! -- cgit v1.2.1