Merge pull request #734 from Yakindu/issue_#733_region · 9306cbed36 - MSDL Git server

Parcourir la source

Merge pull request #734 from Yakindu/issue_#733_region

Editing a region documented (issue #733).

Thomas Kutz il y a 9 ans

Parent

a02d0a84c8 995ec2d62c

commit

9306cbed36

1 fichiers modifiés avec 12 ajouts et 0 suppressions

Vue séparée Afficher les stats Diff

				
					Fichier diff supprimé car celui-ci est trop grand
					
							+ 12
							
							- 0
						
plugins/org.yakindu.sct.doc.user/src/Part2-User-Guide/40_editing_statecharts.textile