diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-08-18 20:09:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-18 20:09:13 +0200 |
| commit | 1327c778488665e127a332b5f047feb5a63100ef (patch) | |
| tree | 6f6c2c75529ebfc3cceaf1da715aa0ea428ae1a4 /doc/classes | |
| parent | 2fcf3057fd340311591eb19e7f4cc6d2f1268479 (diff) | |
| parent | c13c738c88db352c5c741d271749e1ce128a4c4b (diff) | |
Merge pull request #51845 from Paulb23/hide-textfiles
Diffstat (limited to 'doc/classes')
| -rw-r--r-- | doc/classes/TextFile.xml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/doc/classes/TextFile.xml b/doc/classes/TextFile.xml deleted file mode 100644 index 1c2c2ff25c..0000000000 --- a/doc/classes/TextFile.xml +++ /dev/null @@ -1,13 +0,0 @@ -<?xml version="1.0" encoding="UTF-8" ?> -<class name="TextFile" inherits="Resource" version="4.0"> - <brief_description> - </brief_description> - <description> - </description> - <tutorials> - </tutorials> - <methods> - </methods> - <constants> - </constants> -</class> |