Closed olexandr-konovalov closed 8 years ago
This PR adds new optional components from the PackageInfo.g template (https://github.com/gap-packages/example/blob/master/PackageInfo.g):
ping? ;-) I know this is not yet redistributed package, but it will not hurt
This PR adds new optional components from the PackageInfo.g template (https://github.com/gap-packages/example/blob/master/PackageInfo.g):