doc_version_from_configure.in.diff
documentation-path.patch
elaboration.patch
fix_warnings.diff
do-not-set-pythonhome.diff
gtk-theme-deprecated.diff
python_2_to_3.diff
python_lambda.diff
clang-flexible-binding-generation.diff
clang-3.6.diff
libadalang_disable.diff
clang-3.8.diff
gtk3-incompatibility.diff
gnatdoc.diff
