Nico Schottelius
|
b31ed214c3
|
Revert "remove useless helper script"
Yes, found a need for this script!
This reverts commit 77c0153c3f.
|
14 years ago |
|
Nico Schottelius
|
77c0153c3f
|
remove useless helper script
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
|
14 years ago |
|
Nico Schottelius
|
796f1288db
|
meaning of variables
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
|
15 years ago |
|
Nico Schottelius
|
4d1dcf8177
|
But, if we use export on every variable, it's documented plus clear that we wanted it to do
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
|
15 years ago |
