Revision 03af6d6a811658819a909d06047b9aba4ac4dfb3

Committed on 10/09/2014 2:28 am by Pedro Resende <pedroresende@mail.resende.biz> [GitHub Diff]

Merge pull request #15 from andrerom/profiling_support

Profiling support