]> git.plutz.net Git - serve0/commit
fix bug in exclusive tag support
authorPaul Hänsch <paul@plutz.net>
Tue, 8 Jan 2019 17:43:50 +0000 (18:43 +0100)
committerPaul Hänsch <paul@plutz.net>
Tue, 8 Jan 2019 17:43:50 +0000 (18:43 +0100)
commit02812995d1df8b60f702be2ec8cf807782a7ab35
tree68ef0d30f181d4b1d4913143ee06855be54240df
parent5b358251b1771eba1eb00cdc65c9f0e87cde28ef
fix bug in exclusive tag support
widgets.sh