comparison dot_bashrc @ 420:db1013fcbd0d

Increase font size
author zegervdv <zegervdv@me.com>
date Tue, 27 Jul 2021 18:30:56 +0200
parents 7838713fd3b4
children cf524a68bebc
comparison
equal deleted inserted replaced
419:d4373e768165 420:db1013fcbd0d