diff options
Diffstat (limited to 'versions')
| -rw-r--r-- | versions/baseline.json | 4 | ||||
| -rw-r--r-- | versions/r-/rmlui.json | 9 |
2 files changed, 13 insertions, 0 deletions
diff --git a/versions/baseline.json b/versions/baseline.json index 492145402..ef0805696 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -5524,6 +5524,10 @@ "baseline": "0.3.0", "port-version": 0 }, + "rmlui": { + "baseline": "4.1", + "port-version": 0 + }, "roaring": { "baseline": "2019-03-05-2", "port-version": 0 diff --git a/versions/r-/rmlui.json b/versions/r-/rmlui.json new file mode 100644 index 000000000..f3c15b656 --- /dev/null +++ b/versions/r-/rmlui.json @@ -0,0 +1,9 @@ +{ + "versions": [ + { + "git-tree": "83f463f3ebcc4e415d6903bea260fb1601a14dd2", + "version": "4.1", + "port-version": 0 + } + ] +} |