aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/ltac
diff options
context:
space:
mode:
authorGravatar Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>2018-04-30 16:42:22 +0200
committerGravatar Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>2018-04-30 16:42:22 +0200
commit8f477d20f6c933537d80bd838b04d13042a12011 (patch)
tree6c86ea2969ffc9acd9fa2f111d2f2bf755a04ad0 /plugins/ltac
parentdf9fe1be977c2c856b11a842233598f8a791db49 (diff)
parent6aaf4e17812aeaed41a4a3f7d9170c9d95de8751 (diff)
Merge PR #7379: [doc] Update Sphinx build instructions for Debian derivatives.
Diffstat (limited to 'plugins/ltac')
0 files changed, 0 insertions, 0 deletions