Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-11-26 | Revert "Get rid of unicode quotes (#1140)" | Eelco Dolstra | |
This reverts commit f78126bfd6b6c8477fcdbc09b2f98772dbe9a1e7. There really is no need for such a massive change... | |||
2016-11-25 | Get rid of unicode quotes (#1140) | Guillaume Maudoux | |
2014-12-14 | Merge commit '36c67860363c93eb00cf5b8e2ad34f6f775e6901' | Eelco Dolstra | |
2014-04-03 | Sync with make-rules repo | Eelco Dolstra | |
2014-02-01 | Add 'mk/' from commit '1eff3ad37fdb9dcf9f8528fdacea0ebf0e79d545' | Eelco Dolstra | |
git-subtree-dir: mk git-subtree-mainline: 6ef32bddc1f10034322966b3a5b85af7b9cdc4d8 git-subtree-split: 1eff3ad37fdb9dcf9f8528fdacea0ebf0e79d545 |