Select Git revision
config.h.in
-
Marc G. Fournier authored
From: Massimo Dal Zotto <dz@cs.unitn.it> config.patch remove old defines no more used in the code.
Marc G. Fournier authoredFrom: Massimo Dal Zotto <dz@cs.unitn.it> config.patch remove old defines no more used in the code.