| Name | Size | Permission | Action | ||
|---|---|---|---|---|---|
| fixOptions.js | 0.334 KB | -rw-r--r-- | Edit | Rename | Delete |
| getOptionsFromElement.js | 0.836 KB | -rw-r--r-- | Edit | Rename | Delete |
| getRenderProperties.js | 2.801 KB | -rw-r--r-- | Edit | Rename | Delete |
| linearizeEncodings.js | 0.505 KB | -rw-r--r-- | Edit | Rename | Delete |
| merge.js | 0.063 KB | -rw-r--r-- | Edit | Rename | Delete |
| optionsFromStrings.js | 0.646 KB | -rw-r--r-- | Edit | Rename | Delete |