Commit 40c4eb7
authored
Rename ruhend-1.fsh to ruhend-1-obsolet.fsh
Deprecate invariant "ruhend-1"1 parent 80534d4 commit 40c4eb7
1 file changed
Lines changed: 2 additions & 1 deletion
Lines changed: 2 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
1 | 2 | | |
2 | 3 | | |
3 | 4 | | |
4 | | - | |
| 5 | + | |
0 commit comments