diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-01-14 19:09:13 +0100 |
|---|---|---|
| committer |  Maxime Dénès <mail@maximedenes.fr> | 2015-01-15 06:58:19 +0100 |
| commit | a18c203be0e19cd975ebc1827d9a6e19d307971a (patch) | |
| tree | 6fd82a3e81b2e15d0ed05610c3574076c7d8468b /CREDITS | |
| parent | 79d10e9527ceff4f07c581b0ac971e761351ad24 (diff) | |
Makefile: install ide/*lang
Diffstat (limited to 'CREDITS')
0 files changed, 0 insertions, 0 deletions