diff docs/manual.html @ 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 c912f6de2053
children
line wrap: on
line diff