Startup script: pushd / popd is not supported on all platform 42/8742/1
authorClément DAVID <clement.david@scilab-enterprises.com>
Mon, 20 Aug 2012 09:49:15 +0000 (11:49 +0200)
committerClément DAVID <clement.david@scilab-enterprises.com>
Mon, 20 Aug 2012 09:49:15 +0000 (11:49 +0200)
commit0ad1775a6f9d6b019bb7f7785c4dea07ed330175
tree98d0eea1f147462ad45657d9f60e0f95c7d637aa
parent87c5fb70ec80bc87dc99fe7bed2d3d9f4e6770d7
Startup script: pushd / popd is not supported on all platform

Change-Id: Ib1df24b36e0123bc1faf048bf08f9565535fb634
scilab/bin/scilab