comparison configure @ 10180:3f3b7829dce8

The linux directory is now called osdep.
author diego
date Sun, 25 May 2003 00:21:18 +0000
parents 832182cacfe6
children d94b4fa2f810
comparison
equal deleted inserted replaced
10179:832182cacfe6 10180:3f3b7829dce8