Oops... I did not notice puavo-update-gtk-bookmarks was written with 4-column indents, and now the indentation style was inconsistent. Better fix it! ;-P
Oops... I did not notice puavo-update-gtk-bookmarks was written
with 4-column indents, and now the indentation style was inconsistent.
Better fix it! ;-P

opinsys/puavo-sharedir,opinsys/puavo-sharedir