diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-02-28 16:31:08 -0500 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-02-28 16:56:08 -0500 |
| commit | 63af66f190350b1fdfe9f905eb88d996a23f68a9 (patch) | |
| tree | c613e245afb55c68b732dc31e739e0b4cb5c5ab1 /_CoqProject | |
| parent | c3c409f8fb014273fb8049aeb8b171390f18022f (diff) | |
Makefile: single-quotes for shell globbing
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions