]> matita.cs.unibo.it Git - helm.git/commit
getter flags considered
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Mar 2001 18:47:08 +0000 (18:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Mar 2001 18:47:08 +0000 (18:47 +0000)
commit7998b94e5f83fb3c9009762a875a0136bc4052ec
tree598c163ebd92edbe4f4d127109ff484afd733400
parentc01cf48a7d3cb9a89d7b48cea6d4cae3d35a26f7
getter flags considered
helm/cgi/mkindexcic.pl
helm/cgi/mkindextheory.pl