aboutsummaryrefslogtreecommitdiffstats
path: root/.gitattributes
diff options
context:
space:
mode:
authorMichalis Pardalos <m.pardalos@gmail.com>2021-06-05 23:17:33 +0100
committerMichalis Pardalos <m.pardalos@gmail.com>2021-06-06 12:38:45 +0100
commit1c8e0373d735ac88740f96c5da1d929ce3f7b688 (patch)
tree60c170715bdc960778f58502f56dcb28775d3e13 /.gitattributes
parent34a0415ad0c65602ba097c37e23ced9cb3cf390e (diff)
downloadvericert-1c8e0373d735ac88740f96c5da1d929ce3f7b688.tar.gz
vericert-1c8e0373d735ac88740f96c5da1d929ce3f7b688.zip
Move HTL renaming pass to own file
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions