Rubidium 6d1586dd49 Codechange: use std::string instead of char* for original editor strings

2023-05-10 23:15:09 +02:00

44 KiB

Raw Blame History

View Raw