kmultiversx/src/kmultiversx/kdist/plugin: Set Version ed8437b23508e5b…

…a64416b2f647a7aa3e703266d
runtimeverification · Feb 10, 2025 · bdd8265 · bdd8265
1 parent a74d2c3
commit bdd8265
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kmultiversx/src/kmultiversx/kdist/plugin b/kmultiversx/src/kmultiversx/kdist/plugin