Ivar Fatland 5b7e202607 ignore other sessions ...

thought i already did this...

2025-10-16 13:16:53 +02:00

..

.gitignore

ignore other sessions

2025-10-16 13:16:53 +02:00

edit-sessions.sh

remove extra terminal for edit sessions

2025-10-12 19:10:38 +02:00