aarne 30a1b5c4d8 fixed double infinitives in Dutch

2009-11-18 09:18:44 +00:00

..

doc

next-lib renamed to lib, lib to old-lib

2009-06-22 15:39:08 +00:00

src

fixed double infinitives in Dutch

2009-11-18 09:18:44 +00:00