Remove obsolete AC_GECODE_TIMER M4 macro from configure.ac.in#197

kaol wants to merge 1 commit intoGecode:release/6.3.0Gecode/gecode:release/6.3.0from

kaol:obsolete-AC_GECODE_TIMERkaol/gecode:obsolete-AC_GECODE_TIMERCopy head branch name to clipboard