aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.dev
Commit message (Expand)AuthorAge
* Missing .PHONY targets.Gravatar Pierre-Marie Pédrot2016-08-30
* 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