Merge branch 'fix/indent' into 'master'

Makefile

nix/default.nix

src/kernel_internals/typing/cabs2cil.ml

src/kernel_services/abstract_interp/fc_float.ml

src/kernel_services/ast_data/globals.ml

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_queries/filecheck.ml

src/kernel_services/ast_queries/logic_typing.ml

src/kernel_services/ast_transformations/inline.ml

src/libraries/utils/filepath.mli

src/libraries/utils/hptmap_sig.mli

src/plugins/gui/design.ml

src/plugins/gui/wutil.ml

src/plugins/qed/logic.ml

src/plugins/rte/visit.ml

src/plugins/server/data.mli

src/plugins/server/request.mli

src/plugins/value/domains/abstract_domain.mli

src/plugins/value/domains/cvalue/builtins_malloc.ml

src/plugins/value/domains/equality/equality.ml