author David Douard <>
Thu, 08 Aug 2013 08:57:51 +0200
changeset 717 5cad47e1ffbf
parent 537 ff1c66776652
child 767 cdd302bd8740
permissions -rw-r--r--
[gecode] fix build against gecode 4.2.0 (closes #167329) memory statistics have been removed from the search engines.

include doc/
include doc/*.txt
include doc/Makefile
include doc/.static/*
include doc/.templates/*

include makefile
include parser.g

include README
include TODO 
include ChangeLog
include COPYING 
include data/

recursive-include tools *.py *.rql