chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e720f04) | patch
otterlib: Allow multiple libs separated with space or comma
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 12 Jan 2021 19:37:45 +0000 (19:37 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 12 Jan 2021 20:18:59 +0000 (20:18 +0000)
commitf58fdca27f94358bb3871282581417affbffcc50
tree4906b26f567abb67e8243fa330ec7f87e25bf436tree | snapshot
parente720f042594349ec0de45fd27b4e2106c5b59780commit | diff
otterlib: Allow multiple libs separated with space or comma

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/bin/otterlib.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.