aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo/packages/acl2-kernel.scm
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-04-14 02:41:39 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-04-14 13:28:59 +0900
commitf1732f9e0107c384df14755ca72ff29e21ee02db (patch)
treee6b80bdad032beaa7b951111742ef423e9bc2b9a /tojo-tokyo/packages/acl2-kernel.scm
parent379ccc61f0ca02c8a54e0803aa3c5ff127307816 (diff)
tojo-tokyo: Add extract-green-color.
* tojo-tokyo/packages/guile-xyz.scm: New file.
Diffstat (limited to 'tojo-tokyo/packages/acl2-kernel.scm')
0 files changed, 0 insertions, 0 deletions