Index of /debian/mentors/jgmenu/jgmenu-4.2.1/docs/

../
manual/                                            19-May-2020 21:06                   -
relnotes/                                          19-May-2020 21:06                   -
coding_style                                       19-May-2020 21:06                1943
default.csv                                        19-May-2020 21:06                1234
notes_on_icons                                     19-May-2020 21:06                 913