changelog
add missing isdirectory tag in db on pull
- Sat, 10 Aug 2019 19:34:49 +0200
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Sat, 10 Aug 2019 19:34:49 +0200] rev 616
- add missing isdirectory tag in db on pull
add missing isdirectory tag in db on push
- Sat, 10 Aug 2019 19:18:29 +0200
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Sat, 10 Aug 2019 19:18:29 +0200] rev 615
- add missing isdirectory tag in db on push
