https://kotlinlang.org logo
p

pniederw

12/02/2020, 2:04 AM
It's not just
public
, and I don't think a simple script will get this right. For example, what if a generated comment (which can contain any text) contains
public
?