diff options
| author | Dimitri Staessens <dimitri@ouroboros.rocks> | 2019-10-06 21:10:46 +0200 |
|---|---|---|
| committer | Dimitri Staessens <dimitri@ouroboros.rocks> | 2019-10-06 21:10:46 +0200 |
| commit | 568553394d0a8b34668a75c9839a0f1f426469b2 (patch) | |
| tree | 175c08844f05611b059ba6900fb6519dbbc735d2 /themes/docsy/userguide/static/google6a6ae8b5b016a20d.html | |
| parent | d5d6f70371958eec0679831abd283498ff2731e5 (diff) | |
| download | website-568553394d0a8b34668a75c9839a0f1f426469b2.tar.gz website-568553394d0a8b34668a75c9839a0f1f426469b2.zip | |
theme: Switch to docsy theme
Diffstat (limited to 'themes/docsy/userguide/static/google6a6ae8b5b016a20d.html')
| -rw-r--r-- | themes/docsy/userguide/static/google6a6ae8b5b016a20d.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/themes/docsy/userguide/static/google6a6ae8b5b016a20d.html b/themes/docsy/userguide/static/google6a6ae8b5b016a20d.html new file mode 100644 index 0000000..524b7b4 --- /dev/null +++ b/themes/docsy/userguide/static/google6a6ae8b5b016a20d.html @@ -0,0 +1 @@ +google-site-verification: google6a6ae8b5b016a20d.html |