summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2019-01-25 01:43:05 +0100
committertv <tv@krebsco.de>2019-01-25 01:43:44 +0100
commitccd7117c31074069414eb00dd0b7ed6b648ddeff (patch)
treeccfd7c6ad2b85790b48e3dfe12f6bfe32957afd8 /.gitignore
parentb160288682bea77c03ef245e6fdaba6244c64f34 (diff)
Blessings: satisfy Semigroup and Monoid lawsv1.4.0
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions