Rumperuu/footnotes
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

ci: rename docs cache

Browse source
This commit is contained in:
Ben Goldsworthy 2021-05-01 21:42:10 +01:00
parent 94cfdf2969
commit c0dd0d0623
6 changed files with 569 additions and 569 deletions
Download patch file Download diff file Expand all files Collapse all files

2
phpdoc.dist.xml
View file

@ -7,7 +7,7 @@
>
<paths>
<output>docs</output>
<cache>docs-cache</cache>
<cache>docs/.cache</cache>
</paths>
<version number="latest">
<api format="php">