Compare commits

..

No commits in common. "bb09d15a563ab80be085780a02e22025eafc4ede" and "0f06a385563d45ca91850f074df409f647eff94e" have entirely different histories.

2 changed files with 0 additions and 3531 deletions

View File

@ -1,3 +0,0 @@
{
"github-enterprise.uri": "https://git.efi.th-nuernberg.de"
}

File diff suppressed because it is too large Load Diff