added copy script for records
2 files changed
tree: ffaf5940e3c3f6b96747971c88570ebfdd993206
  1. eclipse.platform.ui/
  2. eclipse.platform.ui.e4/
  3. scripts/
  4. .gitignore