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:f99561f130054e28ad7d5b1787ead7e451a74a43
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:feature/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
1 Commits
f99561f130 .. feature/extra-features
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: 186ms Template: 3ms
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