| Keymap | Command |
|---|---|
| C-c C-x | activate/deactivate the package |
| Cmd-s or C-s | save and reload the file |
| C-c C-c | refine a hole |
See DEVELOPING
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Keymap | Command |
|---|---|
| C-c C-x | activate/deactivate the package |
| Cmd-s or C-s | save and reload the file |
| C-c C-c | refine a hole |
See DEVELOPING