diff options
Diffstat (limited to 'skribe/doc/user/src/index1.skb')
| -rw-r--r-- | skribe/doc/user/src/index1.skb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/skribe/doc/user/src/index1.skb b/skribe/doc/user/src/index1.skb deleted file mode 100644 index 199428c..0000000 --- a/skribe/doc/user/src/index1.skb +++ /dev/null @@ -1 +0,0 @@ -(define *index1* (make-index "a new index")) |