tree f0468615d633e665d29409afd5f1d94e854f5d35
parent 22abca2a7b9bad3eb7d46bbba21e27aeeba5b03b
author Erik Brangs <erik.brangs@gmx.de> 1696273642 +0200
committer Erik Brangs <erik.brangs@gmx.de> 1696275519 +0200

[nobug] Add files that will be useful when migrating to GitHub later

Change-Id: I79a6f093b0f1e4064d8f7764a7c82520369c349c