diff options
| author | deva <deva> | 2010-07-07 11:55:58 +0000 |
|---|---|---|
| committer | deva <deva> | 2010-07-07 11:55:58 +0000 |
| commit | 78cab4908b1784c67bee0064502854b1a984342f (patch) | |
| tree | 7b8887fde38039fa4a750f124be50eafbf48edf2 /design/widgets/dbwidget.tex | |
| parent | 1c935722320e3b73f1005509849b5a2f22c72577 (diff) | |
Make session-path set-able via cli.
Diffstat (limited to 'design/widgets/dbwidget.tex')
0 files changed, 0 insertions, 0 deletions