Update JMP Script Editor Snippets.jmpaddin

Adds support for intended snippets
jthi-jmp-tools · Dec 20, 2022 · d218b3e · d218b3e
1 parent 5ecd76e
commit d218b3e
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/addins/JMP Script Editor Snippets.jmpaddin b/addins/JMP Script Editor Snippets.jmpaddin