This website requires JavaScript.
Explore
Help
Sign In
isabelle
/
is_themecore-PS9
Watch
1
Star
0
Fork
0
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Compare commits
base:
isabelle/is_themecore-PS9:fix-config
Branches
Tags
isabelle/is_themecore-PS9:main
isabelle/is_themecore-PS9:feature/is_themecore-PS9
isabelle/is_themecore-PS9:feature/extra-features
isabelle/is_themecore-PS9:fix-config-extra-features
isabelle/is_themecore-PS9:fix-config
...
compare:
isabelle/is_themecore-PS9:310148d00c688aad05da854f13d29c5d2343e8ee
Branches
Tags
isabelle/is_themecore-PS9:main
isabelle/is_themecore-PS9:feature/is_themecore-PS9
isabelle/is_themecore-PS9:feature/extra-features
isabelle/is_themecore-PS9:fix-config-extra-features
isabelle/is_themecore-PS9:fix-config
1 Commits
fix-config
...
310148d00c
Author
SHA1
Message
Date
isabelle
310148d00c
Merge branch 'fix-config' into feature/is_themecore-PS9
2026-05-08 11:01:06 +02:00
Show all changes
Ignore whitespace when comparing lines
Ignore changes in amount of whitespace
Ignore changes in whitespace at EOL
Expand all files
Collapse all files
Diff Content Not Available