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

../
media/                                             02-Feb-2025 14:56                   -
basics-create-new-file.page                        13-Jan-2023 14:31                1063
basics-draft-folder.page                           13-Jan-2023 14:31                1163
basics-open-file.page                              13-Jan-2023 14:31                1054
edit-search-and-replace.page                       13-Jan-2023 14:31                3549
edit-undo-redo.page                                13-Jan-2023 14:31                2180
index.page                                         13-Jan-2023 14:31                1395
legal.xml                                          13-Jan-2023 14:31                 340