diff options
Diffstat (limited to 'yacc/warshall.c')
| -rw-r--r-- | yacc/warshall.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/yacc/warshall.c b/yacc/warshall.c index c9ec782beb..7ad7fc4510 100644 --- a/yacc/warshall.c +++ b/yacc/warshall.c @@ -12,7 +12,7 @@ /* Based on public-domain code from Berkeley Yacc */ -/* $Id$ */ +/* $Id: warshall.c 12858 2012-08-10 14:45:51Z maranget $ */ #include "defs.h" |