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


../
media/                                             02-Feb-2025 14:56                   -
basics-create-new-file.page                        13-Jan-2023 14:31                1382
basics-draft-folder.page                           13-Jan-2023 14:31                1443
basics-open-file.page                              13-Jan-2023 14:31                1309
edit-search-and-replace.page                       13-Jan-2023 14:31                3895
edit-undo-redo.page                                13-Jan-2023 14:31                2704
index.page                                         13-Jan-2023 14:31                1624
legal.xml                                          13-Jan-2023 14:31                 323