Revision 5823227a1d2d19e0c3e049621a176c1725ecc411

Committed on 21/12/2015 1:49 pm by Piotr Nalepa <[email protected]> [GitHub Diff]

Added code documentation. Impletented hot keys config property