jparris / enso

Automatically exported from code.google.com/p/enso
Other
0 stars 0 forks source link

Make command matching case-insensitive #23

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago
A patch to make command matching case-insensitive, which makes it a lot
easier to type commands which have uppercase letters in them or in their
valid_args.

Original issue reported on code.google.com by stuart.l...@gmail.com on 6 Jul 2008 at 9:00

Attachments:

GoogleCodeExporter commented 8 years ago
Applied on community branch.

Original comment by stuart.l...@gmail.com on 22 Aug 2008 at 6:29