diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-02-18 10:35:30 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-18 10:35:30 +0100 |
| commit | 77b05256d6908902edccac434ef191cbb27c48ad (patch) | |
| tree | 24c1db251ed1bf33ec8e551b16a590291beca414 /doc/classes | |
| parent | c7faf2e16b684f3dd0246dbdb662b1826dd24571 (diff) | |
Revert "Remove TextFile from public API"
Diffstat (limited to 'doc/classes')
| -rw-r--r-- | doc/classes/TextFile.xml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/classes/TextFile.xml b/doc/classes/TextFile.xml new file mode 100644 index 0000000000..1c2c2ff25c --- /dev/null +++ b/doc/classes/TextFile.xml @@ -0,0 +1,13 @@ +<?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> |