- Jul 28, 2022
-
-
Vitor Trovisco authored
-
- Oct 18, 2021
-
-
Vitor Trovisco authored
-
- Oct 17, 2021
-
-
Vitor Trovisco authored
Improved delete_pub_list.sh - now it automatically deletes sessions and publications, without any manual tweaking
-
- Oct 12, 2021
-
-
Vitor Trovisco authored
If publications have associated sessions (which all loaded publications have by default), this script will spit out the list of associated sessions
-