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

../
media/                                             02-Feb-2025 14:56                   -
basics-create-new-file.page                        13-Jan-2023 14:31                1380
basics-draft-folder.page                           13-Jan-2023 14:31                1484
basics-open-file.page                              13-Jan-2023 14:31                1297
edit-search-and-replace.page                       13-Jan-2023 14:31                3900
edit-undo-redo.page                                13-Jan-2023 14:31                2529
index.page                                         13-Jan-2023 14:31                1644
legal.xml                                          13-Jan-2023 14:31                 337