diff etc/Makefile @ 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 86432f19ad96
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff