Changes between Initial Version and Version 1 of Ticket #21080, comment 13
- Timestamp:
- 2021-07-15T21:00:36+02:00 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #21080, comment 13
initial v1 42 42 43 43 I did try deleting and then checking everything out locally, and it didn't work. :crosses fingers for jenkins: 44 45 EDIT: 46 {{{#!bash 47 $ rm -rf src 48 $ svn revert -R src 49 $ ant clean dist 50 }}}