This website requires JavaScript.
Explore
Help
Sign In
GitHub
/
gf-rgl
Watch
1
Star
0
Fork
1
You've already forked gf-rgl
mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced
2026-08-22 12:16:23 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
4,972
Commits
9
Branches
8
Tags
23897186768d9993b36902dc271db867b3663db5
Commit Graph
2 Commits
Author
SHA1
Message
Date
Krasimir Angelov
a9c2872059
Merge branch 'master' of
https://github.com/GrammaticalFramework/gf-rgl
2018-11-28 13:57:39 +01:00
Krasimir Angelov
23f3fd244a
rename Make.* to Setup.* to follow the Cabal convention
2018-11-28 13:54:56 +01:00