]> Git — Sourcephile - majurity.git/commit
sourcephile / git / majurity.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19e6294) | patch
make: fix linting
authorJulien Moutinho <julm+hjugement@autogeree.net>
Sun, 23 Jun 2019 00:05:20 +0000 (00:05 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Sun, 23 Jun 2019 00:05:20 +0000 (00:05 +0000)
commitedab28e755ec85073e006c8e33f5c63f16802fdd
treeaf3ff144504cfc9a805fdec8c01b0a26886a8e1ctree | snapshot
parent19e629448060369dd2c58565feb4130f98bf87d2commit | diff
make: fix linting
GNUmakefile diff | blob | history
Tools for voting with Majority Judgment and Helios-C