Changes between Initial Version and Version 1 of Ticket #16502


Ignore:
Timestamp:
06/19/14 22:52:07 (6 years ago)
Author:
vbraun
Comment:

I accidentally lost the fix from the previous commit for printing in libgap when preparing libgap 4.7.5. Now with added doctest so it won't happen again.

Legend:

Unmodified
Added
Removed
Modified