From: Andre Noll Date: Thu, 25 Dec 2008 11:19:56 +0000 (+0100) Subject: Make user.c independent of command line options. X-Git-Tag: v0.1.0~17 X-Git-Url: http://git.tuebingen.mpg.de/?p=adu.git;a=commitdiff_plain;h=c7d5ddb6906ab8a18181fee29ac78d604db5fdb9;hp=c7d5ddb6906ab8a18181fee29ac78d604db5fdb9 Make user.c independent of command line options. ---