![[ICO]](/__ovh_icons/blank.gif){kind=icon}
![[PARENTDIR]](/__ovh_icons/back.gif){kind=icon}
![[DIR]](/__ovh_icons/folder.gif){kind=icon}
![[ ]](/__ovh_icons/unknown.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| properties/ | 2024-03-20 16:32 | - |
| what_is.doctree | 2020-10-02 11:29 | 9.2K |
| save_project.doctree | 2020-10-02 11:29 | 16K |
| project_underlying_directory.doctree | 2020-10-02 11:29 | 7.0K |
| open_project.doctree | 2020-10-02 11:29 | 17K |
| new_project.doctree | 2020-10-02 11:29 | 10K |
| index.doctree | 2020-10-02 11:29 | 3.2K |
| close_project.doctree | 2020-10-02 11:29 | 23K |
| clean_project.doctree | 2020-10-02 11:29 | 11K |