comparison debian/dirs @ 10983:590355444f47

workaround for mingw
author faust3
date Thu, 02 Oct 2003 15:40:15 +0000
parents 0737156ad1f0
children 1856b9bfdc09
comparison
equal deleted inserted replaced
10982:285e298968de 10983:590355444f47