Revision b796817b
ID | b796817b97466ddf99654d3554e434fbae8c4099 |
Parent | ffce8af0 |
Child | 778e17eb |
bug: remote dir is not recreated if removed
Files
- added
- modified
- copied
- renamed
- deleted
ID | b796817b97466ddf99654d3554e434fbae8c4099 |
Parent | ffce8af0 |
Child | 778e17eb |
Added by Ruben S. Montero about 10 years ago
bug: remote dir is not recreated if removed