Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust;
  2. clarified message;
  3. tuned;
  4. tuned message;
  5. proper export;
  6. more options: build is part of default setup;
  7. misc tuning and clarification;
  8. more options;
  9. proper Admin script, outside the settings environment;
  10. tuned whitespace;
Changeset 73509:5d750df8e894 by wenzelm:
more robust;
The file was modified lib/Tools/version (diff)
Changeset 73508:001097314d09 by wenzelm:
clarified message;
The file was modified Admin/setup (diff)
Changeset 73507:2592a661ddc9 by wenzelm:
tuned;
The file was modified Admin/setup (diff)
Changeset 73506:d34033a93711 by wenzelm:
tuned message;
The file was modified Admin/setup (diff)
Changeset 73505:a35b2ee3148f by wenzelm:
proper export;
The file was modified Admin/setup (diff)
Changeset 73504:c259c7a42ac3 by wenzelm:
more options: build is part of default setup;
The file was modified Admin/setup (diff)
The file was modified README_REPOSITORY (diff)
Changeset 73503:eda1d95ef538 by wenzelm:
misc tuning and clarification;
The file was modified README_REPOSITORY (diff)
Changeset 73502:c582bf975a5b by wenzelm:
more options;
The file was modified Admin/setup (diff)
Changeset 73501:f026a9a0a43f by wenzelm:
proper Admin script, outside the settings environment;
The file was addedAdmin/setup
The file was removedlib/Tools/setup
Changeset 73500:a33e5298aee6 by wenzelm:
tuned whitespace;
The file was modified lib/scripts/getfunctions (diff)