Delete docs directory

This commit is contained in:
Fernando Méndez 2021-07-02 18:01:26 +02:00 committed by GitHub
parent 724f28f6b9
commit 7a4594d099
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions

View File

@ -1 +0,0 @@