diff options
author | 2017-04-24 11:28:59 +0200 | |
---|---|---|
committer | 2017-04-24 11:28:59 +0200 | |
commit | 758e679ebcfce22099ba4b360b7c0ed7bee2a736 (patch) | |
tree | 4025f1637cd6953f5223bd134feaf0c6786330d7 /coq/coq-compile-common.el | |
parent | 03ff7c4c6bfd666c3aa394eb981ccd7d762acf8c (diff) |
Preparing new warning tags (no more special chars).
Diffstat (limited to 'coq/coq-compile-common.el')
0 files changed, 0 insertions, 0 deletions