Logo
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-extra-features
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:406411b5bc351c9cd8ac2f640db9784d22d5ed66
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-extra-features .. 406411b5bc
Author SHA1 Message Date
isabelle 406411b5bc Merge branch 'fix-config' into feature/extra-features 2026-05-08 11:00:22 +02:00
Expand all files Collapse all files

Diff Content Not Available

Powered by Gitea Version: 1.27.3 Page: 1791ms Template: 5ms
dewebsmid-dark
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API