Skip to content
Snippets Groups Projects

Support for laptimes

Merged Berinda van Dijk requested to merge lapTimes into master

New graphic(s) with laptimes, and some graphics are modified to handle the laptimes, or simply to ignore them. Also, reformatted some code, and changed the layout of the tables. And also changed the first letter of every city to uppercase.

Merge request reports

Approval is optional

Merged by Ruben van DijkRuben van Dijk 1 year ago (May 14, 2023 1:48pm UTC)

Merge details

  • Changes merged into with d8d9a926.
  • Deleted the source branch.

Pipeline #5088 passed

Pipeline passed for d8d9a926 on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading