diff options
| author | Lysxia | 2020-04-20 13:22:16 -0400 |
|---|---|---|
| committer | Lysxia | 2020-04-20 13:22:16 -0400 |
| commit | 11b2ab58b5e5540bf7d0d3cd188899267766e5b6 (patch) | |
| tree | f3a37aabc4f9ce0dc7095dea9460b39e9e88abcc /tools/TimeFileMaker.py | |
| parent | 51a938a260d989f11fb1cd1d7a0205c6183f3809 (diff) | |
coqdoc: Replace deprecated HTML attribute name with id
Diffstat (limited to 'tools/TimeFileMaker.py')
0 files changed, 0 insertions, 0 deletions