diff php/pool.php @ 2289:505290c327cb

Fix #30 test creator link on index.html Thanks Giulio for reporting; please test.
author Brecht De Man <b.deman@qmul.ac.uk>
date Mon, 25 Apr 2016 19:23:23 +0200
parents 169f08dc9634
children d26623bd65e0
line wrap: on
line diff