summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorDavid Thompson <dthompson2@worcester.edu>2023-05-24 07:33:22 -0400
committerDavid Thompson <dthompson2@worcester.edu>2023-05-24 07:33:22 -0400
commit915836a8fdde35ef3b4dd24ba3387467f7bce5b1 (patch)
tree4b41be7d558e6c321e27d8a76ea680681bc36546 /scripts
parentde760349fae3c6502267aaf00057be70455847bb (diff)
Don't build dvi docs.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions