samples/mingw32,i686-none-linux-gnu/reported.by
author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Tue Jan 12 19:24:03 2010 +0100 (2010-01-12) |
changeset 1761 |
88020b2c3246 |
permissions |
-rw-r--r-- |
scripts/functions: change handling of nochdir
- 'nochdir' must be the first option
- have systematic pushd/popd, even if nochdir