Rename padding snippet

Rename from padding.js to widget-padding.js
eclipsesource · Jun 21, 2018 · 359ee6a · 359ee6a
1 parent 4a2e120
commit 359ee6a
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/snippets/padding.js → snippets/widget-padding.js b/snippets/padding.js → snippets/widget-padding.js