chiark / gitweb /
~ian / moebius3.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b868f81) | patch
symbolic.py: make -q work
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 19 Nov 2017 11:37:06 +0000 (11:37 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 19 Nov 2017 11:37:06 +0000 (11:37 +0000)
commitfce9e14056ad7fcc76c431298a82e93a08041681
tree2f0078c3fc41c76456ed8bb7463af8ebf28f8642tree | snapshot
parentb868f81acf966ee87cae7a77fea825d89a781384commit | diff
symbolic.py: make -q work

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