Skip to content
GitLab
Explore
Sign in
Juan Nicolas Pardo Martin
electro_plating_lines
Merge requests
!7
edited the names of the transition function
Code
Review changes
Check out branch
Download
Patches
Plain diff
Zeynep Satir
requested to merge
renaming_of_the_transition_names
into
main
Mar 17, 2023
Overview
0
Commits
2
Pipelines
2
Changes
5
Expand
Hello, just changed the names of the transition function to make it more understandable
Merge request reports