chiark / gitweb /
backward compatibility with old Octave_map for #42