diff src/run.debian.c @ 16:8f564c559416

Exclude some local stuff
author Ivo Smits <Ivo@UCIS.nl>
date Sun, 27 Feb 2011 20:41:23 +0100
parents 1e4ba8d8ffc2
children
line wrap: on
line diff