Merge branch 'gilbert' of https://github.com/melinath/philo into gilbert
[philo.git] / docs /
drwxr-xr-x   ..
-rw-r--r-- 4586 Makefile
drwxr-xr-x - _ext
-rw-r--r-- 7230 conf.py
-rw-r--r-- 0 dummy-settings.py
-rw-r--r-- 1197 index.rst
-rw-r--r-- 933 intro.rst
-rw-r--r-- 4509 make.bat
drwxr-xr-x - models