spelling.diff
shebang_for_executable.diff
compilation_options.diff
library_versions.diff
distclean.diff
visible_make_recipes.diff
no_inline_gnatcoll-sql-exec-tasking.diff
no_postgresql.diff
# python3.diff
python_single_statement_set_default_console.diff
python3-sphinx.diff
