- Update publish script (no more direct access to workspace)


Change-Id: I77e8df126635807ded023aee8ed6f520c65ad020
1 file changed
tree: a621118e89964245144a9193dd9586190a3857a6
  1. cdo/
  2. cdo-server/
  3. compare/
  4. revision/
  5. .gitattributes
  6. .gitignore
  7. CONTRIBUTING.md
  8. LICENSE