diff debian/config @ 10983:590355444f47

workaround for mingw
author faust3
date Thu, 02 Oct 2003 15:40:15 +0000
parents 6746866a94c6
children a5bef61f49bf
line wrap: on
line diff