Merge branch 'gilbert' of https://github.com/melinath/philo into gilbert
[philo.git] / docs / dummy-settings.py