Skip to content

assignments: environment: update tools version

Maxime Joubert requested to merge mj/update-environment into master

Update tools with the version used on the current LRDE environment.

  • assignments.texi: here.

Merge request reports