~jgross-h/coq/v8.5-packaging
Viewing all changes in revision 286.
-
Committer:
Jason Gross
-
Date:
2016-11-17 18:37:04 UTC
-
Revision ID:
git-v1:cb00b1d557ee407eac1d4ab209f6884ee2c99669
Remove cat from rules
expand all
collapse all
Show diffs side-by-side
added
removed