]> git.lizzy.rs Git - lagrange-playground.git/commitdiff
Merge branch 'master' of github.com:EliasFleckenstein03/lagrange-playground
authorElias Fleckenstein <eliasfleckenstein@web.de>
Thu, 9 Sep 2021 17:09:52 +0000 (19:09 +0200)
committerElias Fleckenstein <eliasfleckenstein@web.de>
Thu, 9 Sep 2021 17:09:52 +0000 (19:09 +0200)

Trivial merge