diff options
Diffstat (limited to 'baremetal/shell/gap-buffer.mu')
-rw-r--r-- | baremetal/shell/gap-buffer.mu | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/baremetal/shell/gap-buffer.mu b/baremetal/shell/gap-buffer.mu index 80e9bc54..4ec78789 100644 --- a/baremetal/shell/gap-buffer.mu +++ b/baremetal/shell/gap-buffer.mu @@ -1,5 +1,4 @@ # primitive for editing a single word -# parameter: max-word-size = 16 graphemes type gap-buffer { left: grapheme-stack |