diff php/pool.php @ 2429:e4fcf54abcf5

Instructions typos; notice to refer to wiki for up to date version Some typos were corrected while copying to the wiki. The wiki should henceforth be the most frequently updated instructions, and a markdown-to-PDF process is not yet in place.
author Brecht De Man <b.deman@qmul.ac.uk>
date Sat, 28 May 2016 10:29:03 +0200
parents 169f08dc9634
children d26623bd65e0
line wrap: on
line diff