Minor renaming

2024-07-27 16:35:51 +02:00
parent a251913ebd
commit e17fe767bc
7 changed files with 15 additions and 8 deletions
--- a/PkmnLib.Dynamic/ScriptHandling/Registry/Plugin.cs
+++ b/PkmnLib.Dynamic/ScriptHandling/Registry/Plugin.cs
@@ -1,8 +1,11 @@
+using JetBrains.Annotations;
+
 namespace PkmnLib.Dynamic.ScriptHandling.Registry;

 /// <summary>
 /// A plugin is a way to register scripts and other dynamic components to the script registry.
 /// </summary>
+[UsedImplicitly(ImplicitUseTargetFlags.WithInheritors)]
 public abstract class Plugin
 {
    /// <summary>