diff options
| author | Pierre Courtieu | 2008-01-28 18:40:52 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2008-01-28 18:40:52 +0000 |
| commit | c61566fd090749ad2d11c49bc97d6b92e68526aa (patch) | |
| tree | c453353bd2d339d1157e3a57c5643f15189d4cfb /pgshell | |
| parent | 9f7bb2fc83592e20d702c9103e7131195b7dbfcf (diff) | |
Added displaying of the number of goals in the modeline.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions