diff options
| author | Emilio Jesus Gallego Arias | 2016-09-29 11:39:28 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-10-28 10:15:58 +0200 |
| commit | fccbd64faec80fc20bedf4c33d14b6579da9e300 (patch) | |
| tree | 30895f5f6ec74197033e72d44dedb0c2c816267f /kernel/uGraph.mli | |
| parent | e9723d18325acce290aaa89e2d82ac5404932c1d (diff) | |
[build] Add a target to install the META file.
Diffstat (limited to 'kernel/uGraph.mli')
0 files changed, 0 insertions, 0 deletions