undo last commit (restore default debugging option):
5c456efd4839f68521913787e0d27127368efa60
Merge branch 'examples' of github.com:APTE/APTE into examples