diff options
author | hrxi <hrrrxi@gmail.com> | 2023-03-20 02:00:27 +0100 |
---|---|---|
committer | fiaxh <fiaxh@users.noreply.github.com> | 2023-03-24 19:32:50 +0100 |
commit | b617bf7cc4ac2aa083bcf889816d0479fa353e10 (patch) | |
tree | acf4cca09405ada29c367d67c745b01d2dfcc697 /.github/workflows/build.yml | |
parent | 65efaca6fdcbc788060a0ecc4f7e10fbf5b79669 (diff) | |
download | dino-b617bf7cc4ac2aa083bcf889816d0479fa353e10.tar.gz dino-b617bf7cc4ac2aa083bcf889816d0479fa353e10.zip |
Make members of `Plugins.Registry` public instead of internal
They are being used from outside the library.
Diffstat (limited to '.github/workflows/build.yml')
0 files changed, 0 insertions, 0 deletions