Revision 85df72e1
ID | 85df72e1b2a0bf79c3ae4e4b767fefead6d141b7 |
Parent | 3dbcb463 |
Child | fa6bdefa |
after folder rename refetch folder files since their uris have changed
Files
- added
- modified
- copied
- renamed
- deleted
ID | 85df72e1b2a0bf79c3ae4e4b767fefead6d141b7 |
Parent | 3dbcb463 |
Child | fa6bdefa |
Added by Giannis Koutsoubos over 15 years ago
after folder rename refetch folder files since their uris have changed