Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. merge from afp-2020
  2. Error message update
  3. One more instance of Bitbucket in README
  4. remove Bitbucket from website
  5. Update editor instructions for Heptapod + clarifications
  6. Convert maintenance instructions to Heptapod
  7. Update README to Heptapod
  8. Point publish script to heptapod
Changeset 11171:4d18e0481131 by kleing:
merge from afp-2020
Changeset 11170:b29dde548f6b by gerwin klein _gerwin.klein@data61.csiro.au_:
Error message update
The file was modified admin/publish
Changeset 11169:c6e3efe2d729 by gerwin klein _gerwin.klein@data61.csiro.au_:
One more instance of Bitbucket in README
The file was modified README.md
Changeset 11168:d3f602e38421 by gerwin klein _gerwin.klein@data61.csiro.au_:
remove Bitbucket from website
The file was modified metadata/templates/about.tpl
The file was modified metadata/templates/status.tpl
The file was modified metadata/templates/submitting.tpl
The file was modified metadata/templates/updating.tpl
The file was modified web/about.html
The file was modified web/statistics.html
The file was modified web/submitting.html
The file was modified web/updating.html
Changeset 11167:331165f0b57c by gerwin klein _gerwin.klein@data61.csiro.au_:
Update editor instructions for Heptapod + clarifications
The file was modified doc/editors/new-entry-checkin.md
Changeset 11166:0519b84e33aa by gerwin klein _gerwin.klein@data61.csiro.au_:
Convert maintenance instructions to Heptapod
The file was modified doc/maintenance.md
Changeset 11165:d78aafccfd60 by gerwin klein _gerwin.klein@data61.csiro.au_:
Update README to Heptapod
The file was modified README.md
Changeset 11164:9dfda1e96dc6 by gerwin klein _gerwin.klein@data61.csiro.au_:
Point publish script to heptapod
The file was modified admin/publish