Plug back 'unzoom' function and 'unzoom' buttons. 20/6820/3
[scilab.git] / scilab / modules / history_browser / etc /
drwxr-xr-x ..
-rw-r--r-- history_browser.quit
-rw-r--r-- history_browser.start