diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-11-12 15:51:53 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-11-12 15:51:53 +0100 |
| commit | 53be6c633793297c9fae2004fb5ca0c52edd0c33 (patch) | |
| tree | 683fd1c9bc669ae4465015c63471cd81ec8b086b /doc/agpl.texi | |
| parent | 8440de13339a3b38d9efa18b69df409e45cde625 (diff) | |
update bug refs to #5177
Diffstat (limited to 'doc/agpl.texi')
0 files changed, 0 insertions, 0 deletions