aboutsummaryrefslogtreecommitdiff
path: root/.mumi
ModeNameSize
-rw-r--r--config122logplainabout
8 +0100'>2021-02-23gexp: Micro-optimize 'gexp->sexp' and 'lower-inputs'....Ludovic Courtès 2021-02-23gexp: 'gexp-inputs' returns both native and non-native inputs....Ludovic Courtès 2021-02-23gexp: 'gexp-inputs' returns a list of <gexp-input> records....Ludovic Courtès