Revision 32ea21e098ae1509a57f3d837a9bc5c9c2e7414d

Committed on 04/07/2013 2:36 am by Alex Pilyavskiy <spi@nxc.no> [GitHub Diff]

change extension name in settings