diff options
| author | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2008-02-13 00:16:23 +0100 |
|---|---|---|
| committer | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2008-02-13 00:16:23 +0100 |
| commit | 27ee4fabaebdb1f78b1eb6cfb31c43f1dc5a7f49 (patch) | |
| tree | 0a51845f0f54277e7844e97646b17f91dfe1144c /lib | |
| parent | 21c492a38db47c4a50329f6cd734fba0b88b714d (diff) | |
factoids plugin: don't be too verbose when learning facts
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions