fixed compilation problem after the registered_class_options change
[ginac.git] / debian / libginac-dev.dirs
2001-04-16 Richard Kreckel* Now this four-package split-up is gonna get in. ... release_0-8-1