aboutsummaryrefslogtreecommitdiffhomepage
path: root/Doxyfile.help
diff options
context:
space:
mode:
authorGravatar Kurtis Rader <krader@skepticism.us>2016-03-30 15:35:14 -0700
committerGravatar Kurtis Rader <krader@skepticism.us>2016-03-30 19:20:23 -0700
commit35cee1e39c0ca6bd35f2bb0c18ad6ffca5cc7108 (patch)
tree60bbe37119944dfdfd2528603b262d00525fada6 /Doxyfile.help
parent7e014174b876308f7a6105d6571f51ab7c2022f0 (diff)
remove "doc" make target and rename "user_doc"
Fixes #2874
Diffstat (limited to 'Doxyfile.help')
0 files changed, 0 insertions, 0 deletions