You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I also change the way make_index works:
- if used from a self extracting archive, prefix all arguments with
$GSH_MISSIONS/
- otherwise, use the actual files given from the command line
I also print a warning when giving index files in "continue" mode, as
those are not used.
0 commit comments