dd38aec308 · Merge pull request 'Bereinigung überflüssiger Leerzeilen' (#1) from pludi/infos:bereinigen into master · Updated 9 months ago
Deleting a branch is permanent. It CANNOT be undone. Continue?