view: Define comment-box.
authorRicardo Wurmus <rekado@elephly.net>
Wed, 6 May 2020 09:05:53 +0000 (11:05 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 6 May 2020 09:05:53 +0000 (11:05 +0200)
commitbaae0f305f1cbbe1de0da084c6fb05a9f289571f
tree83fbdcbabbf79127f061da094e41415c66f030e9
parenta304dbdaa83c81b39b31dc78b3e20befe1ec616c
view: Define comment-box.
mumi/web/view/html.scm