diff dot_inputrc @ 643:fddc9726f457

Update to tutti-colori theme
author zegervdv <zegervdv@me.com>
date Wed, 31 Aug 2022 08:27:31 +0200
parents d726921aaabe
children
line wrap: on
line diff