Colours
|
- Added roxterm initial config
|
2017-07-25 12:20:40 +02:00 |
Profiles
|
- Added roxterm initial config
|
2017-07-25 12:20:40 +02:00 |
Shortcuts
|
- Added roxterm initial config
|
2017-07-25 12:20:40 +02:00 |
Global
|
- Added roxterm initial config
|
2017-07-25 12:20:40 +02:00 |