diff .pydevproject @ 571:f1906951be2a

nicer batching of tocs
author casties
date Fri, 12 Oct 2012 17:02:40 +0200
parents 8e42c3d2ce28
children
line wrap: on
line diff