diff octaverc @ 3422:2a0e9378056c

installer: make gui and command line shortcut naming obvious * makeinst.sh: change shortcut for command line to (Command Line)
author John Donoghue <john.donoghue@ieee.org>
date Tue, 14 Jan 2014 06:30:57 -0500
parents 3676b3329fd4
children 47ac621e632f
line wrap: on
line diff