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

../
media/                                             02-Feb-2025 14:56                   -
basics-create-new-file.page                        13-Jan-2023 14:31                1420
basics-draft-folder.page                           13-Jan-2023 14:31                1522
basics-open-file.page                              13-Jan-2023 14:31                1349
edit-search-and-replace.page                       13-Jan-2023 14:31                4081
edit-undo-redo.page                                13-Jan-2023 14:31                2638
index.page                                         13-Jan-2023 14:31                1637
legal.xml                                          13-Jan-2023 14:31                 346