Thomas Jentzsch 6a67d1c0a9 add option for removing recent/popular files ... tried to fix the Linux compile problem renamed the (internal) Settings keys used to store the favorites further updated doc		2021-11-29 09:27:41 +01:00
..
graphics	added option to show/hide file extensions	2021-11-25 11:20:56 +01:00
basic_settings.png	fixed R77 doc graphics links	2021-01-26 19:30:10 +01:00
commandsmenu_r77.png	fixed R77 doc graphics links	2021-01-26 19:30:10 +01:00
debugger.html	Getting ready for 6.6 release.	2021-11-10 14:07:13 -03:30
index_r77.html	Getting ready for 6.6 release.	2021-11-10 14:07:13 -03:30
index.html	add option for removing recent/popular files	2021-11-29 09:27:41 +01:00
R77_readme.txt	add HTML version of R77 Quick Navigation Guide	2020-01-18 13:45:30 +01:00