Skip to content
GitLab
Explore
Sign in
updates README
Code
Review changes
Check out branch
Download
Patches
Plain diff
Cristian Lalescu
requested to merge
doc/development_history
into
master
Apr 09, 2024
Overview
1
Commits
3
Pipelines
6
Changes
163
Expand
This adds a basic "development history" paragraph to the readme.
TODO:
check that all copyright lines specify "TurTLE team"
Edited
Jun 04, 2024
by
Cristian Lalescu
Merge request reports
Loading