Skip to content
GitLab
Explore
Sign in
fix: Save incorrect commands to history
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ondřej Štorc
requested to merge
storcond/automata-library:master
into
master
Jun 10, 2023
Overview
1
Commits
1
Pipelines
0
Changes
1
Expand
Fixes issue when incorrect commands were not saved into history.
Merge request reports