diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-18T13·40+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-18T13·40+0000 |
commit | dbddac0fe91072b402ccb3801c952e3159f0cba4 (patch) | |
tree | 4c94160c57aa8a3041e9af9b8eed6137734af1c9 /doc/dev | |
parent | c1a07f94451cfa93aa9ac986188d0e9a536e4b9f (diff) |
* Assign an integer id to every row in the ValidPaths table in order
to make the Refs table more space-efficient. For instance, this reduces the size of the database on my laptop from 93 MiB to 18 MiB. (It was 72 MiB with the old schema on an ext3 disk with a 1 KiB block size.)
Diffstat (limited to 'doc/dev')
0 files changed, 0 insertions, 0 deletions