diff options
| author | maximilian attems <maks@debian.org> | 2008-07-05 02:46:04 +0200 |
|---|---|---|
| committer | maximilian attems <maks@debian.org> | 2008-07-05 02:46:04 +0200 |
| commit | 6244406a9cd195d2867c72662ce632c2a2d2f653 (patch) | |
| tree | 09316790b53d71b4549bbc0fccdb347ba0cd210b /scripts | |
| parent | f2725289fe635947d0ebcab0259c7e597281682b (diff) | |
release 0.92d
Diffstat (limited to 'scripts')
| -rwxr-xr-x[-rw-r--r--] | scripts/init-top/all_generic_ide | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/init-top/all_generic_ide b/scripts/init-top/all_generic_ide index 28b519a..28b519a 100644..100755 --- a/scripts/init-top/all_generic_ide +++ b/scripts/init-top/all_generic_ide |