Rubidium 37f84b7372 Codechange: replace x.size() != 0 with !x.empty()

2023-10-20 23:05:43 +02:00

28 KiB

Raw Blame History

View Raw