diff options
| author | Enrico Tassi | 2014-04-25 22:44:01 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-04-25 22:44:01 +0200 |
| commit | 7c65d85688b238a4c4197ea69df5d5af9dca7c30 (patch) | |
| tree | 5f1e1585c2b682192be6b6daa6ee6ef4e8c2bc04 /kernel | |
| parent | 8330f5cfd6a332df10fc806b0c0bdab6e0abe8e7 (diff) | |
coq_makefile: -I for the new stm/ dir
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions