diff options
| author | Maxime Dénès | 2015-07-02 14:32:11 +0200 |
|---|---|---|
| committer | Maxime Dénès | 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