Revision aa9cf5ccf9954683ffb2067495949c4080a87c32

Committed on 17/10/2013 10:17 am by Mario Ivancic <mario@netgen.hr> [GitHub Diff]

Setting default alias from large to original