diff options
| author | coqbot-app[bot] | 2020-09-18 09:15:15 +0000 |
|---|---|---|
| committer | GitHub | 2020-09-18 09:15:15 +0000 |
| commit | fdacb149ddb874acd5e5d7943d93bfab1955f4a1 (patch) | |
| tree | 6b1c1a94d13e821aae9a6e70901830b33777c94c /tactics/dn.ml | |
| parent | 08791151b904e499cdca26cec4b8aa7c9b1eb4c0 (diff) | |
| parent | 0022a52b04187414db4dba7cd797a23813078d67 (diff) | |
Merge PR #13027: [vernac] Don't allow attributes on print / check
Reviewed-by: Zimmi48
Diffstat (limited to 'tactics/dn.ml')
0 files changed, 0 insertions, 0 deletions