-
Guillem Jover authored
These are obsolete markers, and in some cases they repeat the information already present in the comment header.
8e8834d8
These are obsolete markers, and in some cases they repeat the information already present in the comment header.