diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-04-20 21:02:24 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-04-20 21:02:24 +0100 |
| commit | 7a05aa21b3a94842ceaf103a53209d87d7f095d5 (patch) | |
| tree | 31ab96aa633b0a972fb719ab3318e24654e464b2 /.gitignore | |
| parent | 7183a0a0a037026a0d03e4df6153ca2d5879af49 (diff) | |
| download | vericert-7a05aa21b3a94842ceaf103a53209d87d7f095d5.tar.gz vericert-7a05aa21b3a94842ceaf103a53209d87d7f095d5.zip | |
Move renumbering to be HTL->HTL
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions