Commit Graph

2 Commits

Author SHA1 Message Date
joshua
7c6fca2aac Ungroup terminal is now managed by undo stack 2021-10-09 14:45:54 +02:00
joshua
089f260d9b Group terminals together is now managed by undo stack 2021-10-09 11:58:10 +02:00