aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.dev
Commit message (Expand)AuthorAge
* No more dev/printers.cmaGravatar Pierre Letouzey2016-07-26
* Makefile.dev: fix a typo in the 'logic' ruleGravatar Pierre Letouzey2016-07-13
* Makefile.install: fix the install of plugin cmiGravatar Pierre Letouzey2016-06-24
* Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}Gravatar Pierre Letouzey2016-06-08