Mon, 08 Oct 2018 20:07:13 +0200 | Joerg Sonnenberger | closehead: fix close-head -r listification | file | diff | annotate |
Mon, 14 May 2018 00:43:07 +0200 | Joerg Sonnenberger | extensions: new closehead module for closing arbitrary heads | file | diff | annotate |