tree 0499048b22e60413887b0ba60af6c354f875df2c
parent afcebfdc7fe249f4673aaacfc1e50e1f549fe160
author Erik Brangs <erik.brangs@gmx.de> 1696275294 +0200
committer Erik Brangs <erik.brangs@gmx.de> 1696275454 +0200

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

Change-Id: I67db9de85bdc0a0985058a6bece9f731a5d18333