Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Henry <luhenry@microsoft.com>2018-09-08 15:58:39 +0300
committerGitHub <noreply@github.com>2018-09-08 15:58:39 +0300
commit97f207a569d38a2d70e4aa158aa3109c26920328 (patch)
treebe8b3d71808cb60e6f3cfa43e857c796e1789649 /scripts
parent1b163d62d0c4d9a68d09afe926bd5017edb9ba0a (diff)
[MonoAotOffsetsDumper] Remove --monodroid argument (#10512)
It's dead now
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions