diff options
| author | Pierre-Marie Pédrot | 2019-08-26 14:03:36 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-08-26 14:03:36 +0200 |
| commit | 0c6726655ee0ec06a40240cca44202d584506c9c (patch) | |
| tree | d01ca150e421476191ad48ab56c2b9c7368fde3b /kernel | |
| parent | 70dbed4179f22758a3bf2ad4a33872ce15041a99 (diff) | |
| parent | b3e4a58e21c042c8610b2f81ccafd4a2c3f74b3a (diff) | |
Merge PR #10677: coqchk: Cleanup environment manipulation in check_constant_declaration
Reviewed-by: ppedrot
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions