7651dea517
not install (needed by "vreg"). -- Reported by and fix tested by: Alexander Farber <alex@kawo2.rwth-aachen.de> |
||
---|---|---|
.. | ||
communicator | ||
navigator | ||
Makefile | ||
Makefile.inc |
7651dea517
not install (needed by "vreg"). -- Reported by and fix tested by: Alexander Farber <alex@kawo2.rwth-aachen.de> |
||
---|---|---|
.. | ||
communicator | ||
navigator | ||
Makefile | ||
Makefile.inc |