Added externalCourseID attribute.
tree06083c183e6c95ef3dcff5cf8366eec79d824ae0
-rw-r--r-- 1823 Makefile
-rw-r--r-- 645 cc_enrolment_status.schema.json
-rw-r--r-- 6111 enrolment_status.tex
-rw-r--r-- 1755 enrolment_status_seq.pic
-rwxr-xr-x 876 generate_gitinfo.sh
-rw-r--r-- 9891 sequence.pic
-rw-r--r-- 1047 subsequent_enrolment_status_seq.pic