diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-02-14 19:00:38 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-02-14 19:00:38 +0100 |
commit | 2bea61e8e1ec02906bf63db4142cb26528bb4d76 (patch) | |
tree | 629ab9f113a3222b22f8e024e104e0ba18c452f8 /plugins/romega/ROmega.v | |
parent | 12a5ccdf1cb69c745aa72dad923349d411682f8d (diff) |
CoqIDE: restore old default colors
Diffstat (limited to 'plugins/romega/ROmega.v')
0 files changed, 0 insertions, 0 deletions