Closed TomazErjavec closed 1 year ago
oh, I haven't noticed that during the merge, sorry. Now fixed (removed whole Data folder)
Thanks, but I now noticed that it still persists in the Main branch, so pls. delete there too. Maybe it would be a good idea to merge data and esp. devel into Main as well, latter 67 commits ahead!
solved, branches are synced now
In the data branch we now again have the obsolete Data/ directory, maybe because @hpreki's push/pull request with obsolete repo. @hpreki, @matyaskopp, can this be deleted?