]> git.plutz.net Git - confetti/commit
return to configure interface after bookmark change
authorPaul Hänsch <paul@plutz.net>
Tue, 9 Oct 2018 11:28:30 +0000 (13:28 +0200)
committerPaul Hänsch <paul@plutz.net>
Tue, 9 Oct 2018 11:28:30 +0000 (13:28 +0200)
commitfefc6021197b07105698dfb7d97ece83067bda27
treea58f3e1da06dcde57c969e1502fde0307716569b
parent3d77c204c471814c6af57dfa64331ef95f567d27
return to configure interface after bookmark change
actions/update_bookmarks.sh