aboutsummaryrefslogtreecommitdiffhomepage
path: root/.merlin
Commit message (Expand)AuthorAge
* [merlin] Adjust merlin for ide.Gravatar Emilio Jesus Gallego Arias2016-11-30
* [merlin] Fix .merlin STM includes.Gravatar Emilio Jesus Gallego Arias2016-06-25
* Adding a new folder corresponding to the low-level part of the pretyperGravatar Pierre-Marie Pédrot2015-02-27
* Clean up the .merlinGravatar Thomas Refis2014-04-03
* Fixup make clean and .merlinGravatar Pierre Boutillier2014-01-18
* 'Pretty' printer for wf_pathsGravatar Pierre2014-01-11
* Goodbye typerex, Hello merlinGravatar Pierre2014-01-09