Skip to content
GitLab
Explore
Sign in
TurTLE
TurTLE
Merge requests
!106
Draft: 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
2
Pipelines
3
Changes
1
Expand
This adds a basic "development history" paragraph to the readme.
TODO:
check that all copyright lines specify "TurTLE team"
Edited
Apr 09, 2024
by
Cristian Lalescu
Merge request reports