diff options
| author | Pierre Courtieu | 2014-12-23 12:30:24 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2014-12-23 12:30:24 +0000 |
| commit | af9a7086bb182405bc3e738a28d5483afe7d40fb (patch) | |
| tree | eca92781c2cd09f6358c4b765d1afa9f8da9747d /pgshell | |
| parent | 424ce5f435a14cbcfc85d333d365d0066106e55b (diff) | |
Supporting more bullets (coq 8.5), like ++ or ++++.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions