Ticket #7 (closed defect: fixed)

Opened 7 years ago

Last modified 7 years ago

Fix documentation of repository names and checkout instructions

Reported by: welberge Owned by:
Priority: major Component: documentation
Version: 0.9 Keywords:
Cc: Duration:
Planned Date:


Update the instructions to reflect the new repository and daily build setup and repository at e.g. hmirepo.ewi.utwente.nl.

Change History

comment:18 Changed 7 years ago by welberge

  • Status changed from new to closed
  • Resolution set to fixed
Note: See TracTickets for help on using tickets.