diff .cvsignore @ 51753:d42b31a4657f

(Activation of Advice): Note that ad-start-advice is turned on by default.
author Markus Rost <rost@math.uni-bielefeld.de>
date Sun, 06 Jul 2003 01:31:34 +0000
parents 32c007e23d05
children f0eb34e60705 d7ddb3e565de
line wrap: on
line diff