diff options
| author | Pierre Boutillier | 2014-07-02 18:17:18 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-07-03 10:52:33 +0200 |
| commit | 964d1b702e5696d2b6767f972310cc324a6a4aa9 (patch) | |
| tree | c0067b6ef216c6849beb3853df332eeabec9803c /kernel/type_errors.ml | |
| parent | e3b9244d081bd83af4fcb17214847f8e0e4bc2a3 (diff) | |
Bug 3405: Coq_makefile: Implicit rules only for listed files in Make file
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions