diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-09-02 03:29:15 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-09-02 03:29:15 +0200 |
| commit | ef3bebd22708deefcd4c057dcbe678b764a78559 (patch) | |
| tree | bae5db90e012bd3c6cae7351a8178ab0283815bb /doc/parens.texi | |
| parent | ad617198bf31238533b93e955ca9adb650ddc932 (diff) | |
| download | geiser-ef3bebd22708deefcd4c057dcbe678b764a78559.tar.gz geiser-ef3bebd22708deefcd4c057dcbe678b764a78559.tar.bz2 | |
Credits in header
Diffstat (limited to 'doc/parens.texi')
0 files changed, 0 insertions, 0 deletions