sundowndev
/
homebrew-core
mirror of https://github.com/sundowndev/homebrew-core.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
244,469 Commits
1 Branch
0 Tags
631 MiB
Commit Graph

1 Commits (d770327399f6da04a532e9a50965c9f5af901e10)

Author SHA1 Message Date
Dominik Moritz 0642df73da gringo: delete 
and make gringo an alias for clingo
 2017-11-26 16:27:07 -05:00