projects
/
Mograsim.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from:
e4320ff
)
Added id to machine definition (was only set in the extension point)
author
Christian Femers
<femers@in.tum.de>
Tue, 24 Sep 2019 03:11:56 +0000
(
05:11
+0200)
committer
Christian Femers
<femers@in.tum.de>
Tue, 24 Sep 2019 03:11:56 +0000
(
05:11
+0200)
MachineRegistry will check for consistency
No differences found