commit | aa933f20686965045d673e80ce204198995dc615 | [log] [tgz] |
---|---|---|
author | Petr Machata <[email protected]> | Tue Nov 20 02:09:15 2012 +0100 |
committer | Petr Machata <[email protected]> | Tue Nov 20 02:36:18 2012 +0100 |
tree | d6a89781c8cf91e51b6fb9bb0f2cb57839aa37d2 | |
parent | ec4ab256e5c7fe1596dd90a3c8e8d4b052ca1207 [diff] |
Introduce "oct" as newly-default alias of "octal" The reason for this is that there's no agreed-upon term for "hexadecimal" that wouldn't be super awkward to type. So instead keep "hex", but introduce "oct" for consistency.