icons/linetype-errorline.png@94d5587bb0c4
icons/linetype-errorline.png
Sat, 10 Jun 2023 17:26:32 +0300
- author
- Teemu Piippo <teemu.s.piippo@gmail.com>
- date
- Sat, 10 Jun 2023 17:26:32 +0300
- changeset 382
- 94d5587bb0c4
- parent 161
- 6fe485a84d06
- permissions
- -rw-r--r--
use a parameter to avoid temporarily changing member variables
