diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2018-06-24 12:08:19 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2018-06-24 12:08:19 +0900 |
| commit | a06e6a9dbc872373c0d5c8092534929be60019a3 (patch) | |
| tree | 2e7329075956ceab1508d9d1df7038ff91841ae1 /info.rkt | |
| parent | 98916db99f0481074c69e401cbbc9dfac2b97117 (diff) | |
Revert "Change to multi-collection"
This reverts commit 98916db99f0481074c69e401cbbc9dfac2b97117.
Diffstat (limited to 'info.rkt')
| -rw-r--r-- | info.rkt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/info.rkt b/info.rkt deleted file mode 100644 index 94a40a5..0000000 --- a/info.rkt +++ /dev/null @@ -1,2 +0,0 @@ -#lang info -(define collection 'multi) |