Index of /usr/share/help/C/gnome-text-editor/

../
media/                                             02-Feb-2025 14:56                   -
basics-create-new-file.page                        10-Jan-2023 23:52                1063
basics-draft-folder.page                           10-Jan-2023 23:52                1136
basics-open-file.page                              10-Jan-2023 23:52                 987
edit-search-and-replace.page                       10-Jan-2023 23:52                3508
edit-undo-redo.page                                10-Jan-2023 23:52                2342
index.page                                         10-Jan-2023 23:52                1331
legal.xml                                          10-Jan-2023 23:52                 295