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

../
media/                                             02-Feb-2025 14:56                   -
basics-create-new-file.page                        13-Jan-2023 14:31                1359
basics-draft-folder.page                           13-Jan-2023 14:31                1420
basics-open-file.page                              13-Jan-2023 14:31                1266
edit-search-and-replace.page                       13-Jan-2023 14:31                3804
edit-undo-redo.page                                13-Jan-2023 14:31                2635
index.page                                         13-Jan-2023 14:31                1641
legal.xml                                          13-Jan-2023 14:31                 333