Commit Graph

2 Commits

Author SHA1 Message Date
Pavol Rusnak
2c931312ce treewide: simplify rev/repo arguments in src
+ use fetchFromGithub where possible
2020-11-01 23:02:24 -08:00
mucaho
202c2a8eff clingcon: init at 3.3.0 2020-03-08 19:21:55 +01:00