diff options
| author | Mathieu Lirzin <mthl@gnu.org> | 2016-07-13 18:59:30 +0200 |
|---|---|---|
| committer | Mathieu Lirzin <mthl@gnu.org> | 2016-07-14 17:44:23 +0200 |
| commit | 1a542e4d1bdf66366ad935be5be70a3f2252a776 (patch) | |
| tree | 4b204cfc6d122a605364acb4ae81ec46e163e84c /src | |
| parent | 3efe57e0ca5b805cf74cf1efdcbb93e10d72a7e1 (diff) | |
| download | cuirass-1a542e4d1bdf66366ad935be5be70a3f2252a776.tar cuirass-1a542e4d1bdf66366ad935be5be70a3f2252a776.tar.gz | |
Remove redundancies in the specification examples.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions