diff docs/manual.css @ 609:24b05963ba62

shell "clear" button now clears the session
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 09 Dec 2015 18:12:16 -0700
parents b5a926c481a5
children
line wrap: on
line diff