diff options
| author | David Aspinall | 2009-09-08 18:43:42 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-08 18:43:42 +0000 |
| commit | fdff1cf580ddc0067e1bf69b5485929840f7e461 (patch) | |
| tree | c93d7a36a13946bc103e507e512e278e7de00a8d /coq | |
| parent | a1504b5425d562a993a3833b673faa7444d35dc6 (diff) | |
byte-compile-and-load on write is a bit too enthusiastic
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions