mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

[Doxygen] Fix some indentation in doxygen configuration file template.

Browse source
This commit is contained in:
Dan Liew 2017-04-24 23:55:51 +01:00
parent c78bf66df3
commit 33af478ce2
1 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
doc/z3api.cfg.in
View file

@ -703,15 +703,15 @@ INPUT_ENCODING = UTF-8
# *.f90 *.f *.for *.vhd *.vhdl # *.f90 *.f *.for *.vhd *.vhdl
FILE_PATTERNS = website.dox \ FILE_PATTERNS = website.dox \
z3_api.h \ z3_api.h \
z3_algebraic.h \ z3_algebraic.h \
z3_polynomial.h \ z3_polynomial.h \
z3_rcf.h \ z3_rcf.h \
z3_interp.h \ z3_interp.h \
z3_fpa.h \ z3_fpa.h \
z3++.h \ z3++.h \
z3py.py \ z3py.py \
*.cs \ *.cs \
*.java *.java
# The RECURSIVE tag can be used to turn specify whether or not subdirectories # The RECURSIVE tag can be used to turn specify whether or not subdirectories