diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-05 08:27:16 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-05 08:27:16 +0200 |
commit | 785ce4208db2b64e78ebd90c33d00a7fe04fc01b (patch) | |
tree | 19cfdb8ea594c43476fd37dd7255b5b640fcce9d /modules/mono/README.md | |
parent | 99430dc4cd7b751292a116a456d812dc5fdbc9bb (diff) | |
parent | a91a3d01f849ba3a7c1615003f8f11ca824d3d58 (diff) |
Merge pull request #65266 from raulsntos/dotnet/reload-non-tool-scripts
Create script instance of reloaded scripts even if they're not tools
Diffstat (limited to 'modules/mono/README.md')
0 files changed, 0 insertions, 0 deletions