about summary refs log tree commit diff
path: root/src/store.hh
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-10-10T13·22+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-10-10T13·22+0000
commit1eb4da156cca1b1981ab1f60bb9797ed1e93101a (patch)
tree9a06beed80ae344b3cca78660462a7447acf26f2 /src/store.hh
parent08b7319f5bca01f46916faaec0f9de420404a5ad (diff)
* Performance improvement: don't register already registered terms,
  thus greatly reducing the number of db transactions.

Diffstat (limited to 'src/store.hh')
0 files changed, 0 insertions, 0 deletions