diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-28 16:25:52 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-28 16:25:52 +0100 |
| commit | 36ab77c75cdaaf21181d3017792d5f44c2b6c701 (patch) | |
| tree | 524ad3ef07a1d375b078575722c2d61dac50edbd /.gitignore | |
| parent | 29a65929e1107d941b328aff3f98b772c7f28c70 (diff) | |
| download | geiser-36ab77c75cdaaf21181d3017792d5f44c2b6c701.tar.gz geiser-36ab77c75cdaaf21181d3017792d5f44c2b6c701.tar.bz2 | |
Leaner autodoc cache
We cannot consistently maintain a local cache, because of
re-evaluations of external symbols will go unnoticed. The new strategy
(remembering only the latest signatures) mostly works, although it
introduces a bit of extra flickering every now and then.
A global cache is perhaps worth considering.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions