| commit | 192bd966ad6ed452f264f97bba2e50351eb09fca | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sat Feb 28 23:18:43 2004 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Feb 28 23:18:43 2004 +0000 |
| tree | b07c8b13663765f8289046e920e6a1c40b095130 | |
| parent | afd63b9c4050f59ed81c964b9dcb5fd2639a390a [diff] |
getDefaultDatabase() should be a toplevel function, not a method of the preferences object.