From 33af478ce24b33393b23952833064638fead3e8a Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Mon, 24 Apr 2017 23:55:51 +0100 Subject: [PATCH] [Doxygen] Fix some indentation in doxygen configuration file template. --- doc/z3api.cfg.in | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/doc/z3api.cfg.in b/doc/z3api.cfg.in index bcc7113cc..cb07045b3 100644 --- a/doc/z3api.cfg.in +++ b/doc/z3api.cfg.in @@ -703,15 +703,15 @@ INPUT_ENCODING = UTF-8 # *.f90 *.f *.for *.vhd *.vhdl FILE_PATTERNS = website.dox \ - z3_api.h \ - z3_algebraic.h \ - z3_polynomial.h \ - z3_rcf.h \ - z3_interp.h \ - z3_fpa.h \ + z3_api.h \ + z3_algebraic.h \ + z3_polynomial.h \ + z3_rcf.h \ + z3_interp.h \ + z3_fpa.h \ z3++.h \ z3py.py \ - *.cs \ + *.cs \ *.java # The RECURSIVE tag can be used to turn specify whether or not subdirectories