You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.
 
 
 
 
 
 
Dimitri Merejkowsky a76e58e7b1 Update gitignore 5 years ago
..
.gitignore Update gitignore 5 years ago
build.py Fix build.py 6 years ago
python-01.md Formatting 6 years ago
python-02.tex Proofread 3 6 years ago
python-03.tex Stuff for 3rd section maybe 6 years ago