summaryrefslogtreecommitdiff
path: root/design/widgets/dbwidget.tex
diff options
context:
space:
mode:
authordeva <deva>2010-07-07 11:55:58 +0000
committerdeva <deva>2010-07-07 11:55:58 +0000
commit78cab4908b1784c67bee0064502854b1a984342f (patch)
tree7b8887fde38039fa4a750f124be50eafbf48edf2 /design/widgets/dbwidget.tex
parent1c935722320e3b73f1005509849b5a2f22c72577 (diff)
Make session-path set-able via cli.
Diffstat (limited to 'design/widgets/dbwidget.tex')
0 files changed, 0 insertions, 0 deletions