arthuredelstein/clooj — pull request #104 by ticking (2012-07-22 20:01:41+00:00)
Title: Unindent fix.

There is a bug in the ui that causes the menu item unindent to indent.