diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2015-07-02 14:32:11 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2015-07-02 14:32:11 +0200 |
commit | b6320588bdc54f0239a537339a359baa5e4d07d4 (patch) | |
tree | 548f37e6575ace91f8e32117bc007ed25980c634 /kernel/csymtable.ml | |
parent | 7dd0c2875b4986d5bfb7615f9cd0c145b6609fe3 (diff) |
Revert "Add target to install dev files."
Broke the build.
This reverts commit ef6459b00999a29183edc09de9035795ff7912e9.
Diffstat (limited to 'kernel/csymtable.ml')
0 files changed, 0 insertions, 0 deletions