This repository was archived by the owner on May 18, 2019. It is now read-only.
Commit 94567d2
Fix InstExtends.fixCref for fully qualified crefs.
1 parent a35d66e commit 94567d2
1 file changed
+6
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1500 | 1500 | | |
1501 | 1501 | | |
1502 | 1502 | | |
| 1503 | + | |
| 1504 | + | |
| 1505 | + | |
| 1506 | + | |
| 1507 | + | |
| 1508 | + | |
1503 | 1509 | | |
1504 | 1510 | | |
1505 | 1511 | | |
| |||
0 commit comments