phc-seminar

log refs files

git clone https://phc-seminar-git.suzanne.soy/

faster clone:

curl https://phc-seminar-git.suzanne.soy/phc-seminar.git.bundle -o phc-seminar.git.bundle && git clone phc-seminar.git.bundle phc-seminar