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

wininst: autoupdate GAP directory path #60

Open
olexandr-konovalov opened this issue Sep 7, 2018 · 0 comments
Open

wininst: autoupdate GAP directory path #60

olexandr-konovalov opened this issue Sep 7, 2018 · 0 comments
Labels
gapdays2020-spring Issues and PRs that could be worked on during GAPDays2020

Comments

@olexandr-konovalov
Copy link
Member

Version of GAP is now hardcoded and should be updated in too many places for the each minor release (before it was gap4r8 so only for major ones).
@ruthhoffmann ruthhoffmann added the gapdays2020-spring Issues and PRs that could be worked on during GAPDays2020 label Nov 7, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
gapdays2020-spring Issues and PRs that could be worked on during GAPDays2020
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@olexandr-konovalov @ruthhoffmann