aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorMichalis Pardalos <m.pardalos@gmail.com>2021-08-31 21:13:37 +0100
committerMichalis Pardalos <m.pardalos@gmail.com>2021-08-31 21:13:37 +0100
commit52d3374aecc7eca80233edb3f1c6802b44e89f5a (patch)
treefdf16c55b540abb0490b23803c9e73a526afa331 /.gitignore
parentc88e9f6153195090dcb43b291016b237cacc7656 (diff)
downloadvericert-52d3374aecc7eca80233edb3f1c6802b44e89f5a.tar.gz
vericert-52d3374aecc7eca80233edb3f1c6802b44e89f5a.zip
Get Memorygen to compile again
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions