commit | 2f9c4fa3cff0ec0ab925706b222e3d242cebd736 | [log] [tgz] |
---|---|---|
author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | Sun Apr 02 18:27:17 2023 +0200 |
committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | Sun Apr 02 18:27:17 2023 +0200 |
tree | b73ff6d5ca4994a473f68c0e9c188704d5d146f2 | |
parent | 4d83c3d119df4e4070938e870bb3897c818d50cf [diff] |
git: Sync GitLab --> Gitolite --> GitHub. Closes #3, #5. Change-Id: I92426323d6ba9bd8d7f7cfa7fc4af37d3b9bbb93