diff default/input/navigation.html @ 116:da8f1ba9034d

input/comment: renamed "comment" library to "textbox", and made it more generic
author Goffi <goffi@goffi.org>
date Tue, 30 Jan 2018 07:47:23 +0100
parents 5d9e2270ceb4
children
line wrap: on
line diff