Revision ad8b38cb
ID | ad8b38cb00141308f1f01a4c6b9effb35203f090 |
Parent | defd0822 |
Child | 6cf624d3 |
add a refresh command in folder, file popups and File menu
Files
- added
- modified
- copied
- renamed
- deleted
ID | ad8b38cb00141308f1f01a4c6b9effb35203f090 |
Parent | defd0822 |
Child | 6cf624d3 |
Added by Giannis Koutsoubos about 15 years ago
add a refresh command in folder, file popups and File menu