diff options
| author | Enrico Tassi | 2014-03-12 11:51:21 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-03-12 11:51:21 +0100 |
| commit | a622c4c951f559fa05d45a45b4b25ace00793281 (patch) | |
| tree | 6374524264f598772affbf2f22ac5feed4b2c8a8 /kernel/make-opcodes | |
| parent | 1142dab2ee08b23cdf97cdf52d5dc7ecd7768967 (diff) | |
CoqIDE: Errors page gets red if not empty
Diffstat (limited to 'kernel/make-opcodes')
0 files changed, 0 insertions, 0 deletions