| .. |
|
compile_all_full_versions.py
|
clean up directory structure
|
2022-07-26 20:51:03 +02:00 |
|
config_loader.py
|
fix wrong fileback
|
2022-10-16 09:32:53 +02:00 |
|
countdown.py
|
clean up directory structure
|
2022-07-26 20:51:03 +02:00 |
|
courses.py
|
clean up directory structure
|
2022-07-26 20:51:03 +02:00 |
|
exercises.py
|
rework selection of writeup folders: no ignore list
|
2022-10-16 09:48:18 +02:00 |
|
file_list.py
|
clean up directory structure
|
2022-07-26 20:51:03 +02:00 |
|
init-all-courses.py
|
clean up directory structure
|
2022-07-26 20:51:03 +02:00 |
|
labels.py
|
clean up directory structure
|
2022-07-26 20:51:03 +02:00 |
|
lectures.py
|
clean up directory structure
|
2022-07-26 20:51:03 +02:00 |
|
links.py
|
clean up directory structure
|
2022-07-26 20:51:03 +02:00 |
|
new-lecture.py
|
clean up directory structure
|
2022-07-26 20:51:03 +02:00 |
|
new-writeup.py
|
make writeup script executable
|
2023-04-04 22:26:30 +02:00 |
|
notes.py
|
clean up directory structure
|
2022-07-26 20:51:03 +02:00 |
|
open.py
|
make open.py script executable
|
2023-04-04 22:12:08 +02:00 |
|
parse_counters.py
|
clean up directory structure
|
2022-07-26 20:51:03 +02:00 |
|
rofi-courses.py
|
clean up directory structure
|
2022-07-26 20:51:03 +02:00 |
|
rofi-exercises.py
|
clean up directory structure
|
2022-07-26 20:51:03 +02:00 |
|
rofi-lectures-view.py
|
clean up directory structure
|
2022-07-26 20:51:03 +02:00 |
|
rofi-lectures.py
|
clean up directory structure
|
2022-07-26 20:51:03 +02:00 |
|
rofi.py
|
clean up directory structure
|
2022-07-26 20:51:03 +02:00 |
|
utils.py
|
clean up directory structure
|
2022-07-26 20:51:03 +02:00 |
|
window_subprocess.py
|
fix passing servername
|
2023-04-04 22:26:42 +02:00 |
