From a0ce296c9e470828ecfe728f12f834294602d000 Mon Sep 17 00:00:00 2001 From: jgrivera67 Date: Thu, 14 Dec 2023 20:08:17 -0600 Subject: [PATCH] Add files via upload --- .../portable_minimal_ada_rts-0.1.0.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index/po/portable_minimal_ada_rts/portable_minimal_ada_rts-0.1.0.toml b/index/po/portable_minimal_ada_rts/portable_minimal_ada_rts-0.1.0.toml index f868f3ac3..bf84d6216 100644 --- a/index/po/portable_minimal_ada_rts/portable_minimal_ada_rts-0.1.0.toml +++ b/index/po/portable_minimal_ada_rts/portable_minimal_ada_rts-0.1.0.toml @@ -10,7 +10,7 @@ maintainers-logins = ["jgrivera67"] [origin] -commit = "5a08d501d7c305e023d5a248d58a246e627c6404" +commit = "a2d8c5a5eec24bc6a37f74ed8bf894fdfc2aba97" subdir = "./third_party/portable_minimal_ada_rts/" url = "git+https://github.com/jgrivera67/HiRTOS.git"