diff options
| author | Ali Caglayan | 2020-08-25 13:30:14 +0200 |
|---|---|---|
| committer | Ali Caglayan | 2020-08-25 13:30:14 +0200 |
| commit | c7947b41fb2bb989602efc30341525da4efab7e5 (patch) | |
| tree | d0c650de973156384e4325b3007dc2529d9303a0 /dev/header.py | |
| parent | 21a5abbebc98b5177f069cb14709db2477749670 (diff) | |
added coq.vernac dependency to numeral_notations plugin
Diffstat (limited to 'dev/header.py')
0 files changed, 0 insertions, 0 deletions