diff options
author | Manoj Srivastava <srivasta@debian.org> | 2020-05-21 00:21:15 -0700 |
---|---|---|
committer | Manoj Srivastava <srivasta@debian.org> | 2020-05-21 00:21:15 -0700 |
commit | 7e53de81db247d68acf5b4f2f23f5a328fcf9feb (patch) | |
tree | d441ef6fa0f2f01fe374187f5a3ac54ce00f2b1a /agent/pl/gensym.pl | |
parent | 8854039b09b822a2f859e8ff70b9659ea007abf9 (diff) | |
parent | 9a14a1512556db68543bfeebac2138ce1be0b0fd (diff) |
Merge branch 'upstream'
Diffstat (limited to 'agent/pl/gensym.pl')
-rw-r--r-- | agent/pl/gensym.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/agent/pl/gensym.pl b/agent/pl/gensym.pl index f8e2280..106cd85 100644 --- a/agent/pl/gensym.pl +++ b/agent/pl/gensym.pl @@ -1,4 +1,4 @@ -;# $Id: gensym.pl 1 2006-08-24 13:24:12Z rmanfredi $ +;# $Id$ ;# ;# Copyright (c) 1990-2006, Raphael Manfredi ;# |