diff docs/conf.py @ 117:139864ce8bdb

removed items can't be the current tool
author Neil Muller <neil@dip.sun.ac.za>
date Tue, 24 Aug 2010 15:30:51 +0200
parents 3794e7f4093e
children d1b86d5849a0
line wrap: on
line diff