summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2018-10-06 21:41:36 +0200
committertv <tv@krebsco.de>2018-10-06 21:41:36 +0200
commit0c2a60e854f725b37ae29be435b535e542ecff2c (patch)
tree52d2b1e5d8dedd7aaf39a96adbd9d14c5740aff6 /.gitignore
parentc80785663fa97484792440b3af3d54ae639d3c22 (diff)
Blessings: add Semigroup instancev1.2.0ni/master
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions