diff options
| author | Nikos Mavrogiannopoulos <nmav@redhat.com> | 2016-11-30 15:20:24 +0100 |
|---|---|---|
| committer | Daiki Ueno <ueno@gnu.org> | 2017-01-24 12:36:06 +0100 |
| commit | c01b59e5594b395cf084068e513a68f63c9b95a4 (patch) | |
| tree | ccc938f969e8529c2a64b9d56e9037f9ba2a386a /doc/manual | |
| parent | 9f632bed73c8800af16a69c97bd4c315bd350f8b (diff) | |
test: Check exhaustion of fixed closures
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions