Skip to content
This repository has been archived by the owner on Nov 10, 2022. It is now read-only.

Do not make tools archive any more #37

Closed
olexandr-konovalov opened this issue Nov 11, 2017 · 1 comment
Closed

Do not make tools archive any more #37

olexandr-konovalov opened this issue Nov 11, 2017 · 1 comment
Milestone
GAP 4.9.0

Comments

@olexandr-konovalov
Copy link
Member

olexandr-konovalov commented Nov 11, 2017 •
edited
Loading

This should complement gap-system/gap#1305

Also clean up references to these files in pattern files (see #22).
@olexandr-konovalov olexandr-konovalov added this to the GAP 4.9.0 milestone Nov 11, 2017
olexandr-konovalov pushed a commit that referenced this issue Nov 19, 2017
Removed making tools archive and references to obsolete files
fba2918 
Closes #22, #37.
@olexandr-konovalov
Copy link
Member Author

Closed in fba2918

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
GAP 4.9.0
Development

No branches or pull requests
1 participant
@olexandr-konovalov