Compare commits

base: nachbaisabel:isabelle

Branches Tags

nachbaisabel:main

nachbaisabel:isabelle

..

compare: nachbaisabel:main

Branches Tags

nachbaisabel:main

nachbaisabel:isabelle

1 Commits

isabelle ... main

Author	SHA1	Message	Date
Isabelle Nachbaur	abb2666cac	Merge pull request 'testtt' (#1) from isabelle into main ... Reviewed-on: #1	2026-02-09 14:28:20 +01:00

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Expand all files Collapse all files

Diff Content Not Available