diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-01-14 19:09:13 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-01-14 19:09:13 +0100 |
| commit | f9aa622d103fbdf620ea2bc3240eafa829e38bcb (patch) | |
| tree | 9d205b1173eae1b6c957fed1312e33f0c6f6178a /doc | |
| parent | 8050c90b1cfc755abb16c83df0eebaed85cd67d2 (diff) | |
Makefile: install ide/*lang
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions