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

github.com/mono/mono-addins.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarius Ungureanu <marius.ungureanu@xamarin.com>2020-04-23 16:09:11 +0300
committerGitHub <noreply@github.com>2020-04-23 16:09:11 +0300
commitda152e92666c2629c1f447bdfaa4c95fafd7ce2b (patch)
tree75443f6d775f63c2c4132bb5223acfa3ab1c715b /Mono.Addins/Mono.Addins.Database/ProcessProgressStatus.cs
parentec915134c94d0894db434e8e816c70f38c6804df (diff)
parent6c2fc66e63bc09ed7cb4f749a1f204fdceb246b1 (diff)
Merge pull request #159 from mono/mono-addins-better-logging
Add more logging for conditions not found
Diffstat (limited to 'Mono.Addins/Mono.Addins.Database/ProcessProgressStatus.cs')
0 files changed, 0 insertions, 0 deletions