Michael Frank 8d5b8e5565 Resolve "Remove Provides and Requires sections from prelude"

2025-11-04 15:35:49 +00:00

..

alr_gnat_env.profile

use fsf

2023-04-17 16:39:42 +02:00

build_labs_check.py

Resolve "Move lab prompts to appropriate module"

2025-08-19 21:31:06 +00:00

check_images.py

black

2023-02-02 13:28:19 +01:00

course.py

can specify DO_NOT_MERGE.SINGLE_COURSE on CI

2024-03-12 14:49:47 +01:00

default_course.toml

slides command

2022-04-01 14:22:27 +02:00

fix_prelude.py

Resolve "Remove Provides and Requires sections from prelude"

2025-11-04 15:35:49 +00:00

lab_env.profile

Lab env profile cleanup

2025-02-05 16:30:26 +01:00

package_labs.py

package cinema

2022-11-10 10:35:50 +01:00

package_labs.sh

fix glob becomming options

2023-10-30 15:13:21 +01:00

slides.py

black linter on python scripts

2022-10-07 15:54:20 +02:00