debian
|
debian: require newer publik-base-theme (#50453)
|
2021-01-22 17:11:45 +01:00 |
.gitignore
|
ignore themes.json as it's a generated file
|
2020-05-24 15:34:38 +02:00 |
.gitmodules
|
gitmodules: update to use origin/main
|
2020-12-26 15:46:53 +01:00 |
COPYING
|
add license file
|
2016-02-01 14:49:19 +01:00 |
Jenkinsfile
|
build: update to use origin/main
|
2020-12-26 15:22:15 +01:00 |
Makefile
|
build: run get_themes with python3
|
2020-05-04 11:54:42 +02:00 |
add_import_in_style.scss.py
|
update imio/_share.scss
|
2018-12-11 09:30:10 +01:00 |
get_themes.py
|
build: run get_themes with python3
|
2020-05-04 11:54:42 +02:00 |