diff options
| author | Julien Phalip <jphalip@gmail.com> | 2013-09-06 16:05:53 -0500 |
|---|---|---|
| committer | Julien Phalip <jphalip@gmail.com> | 2013-09-06 16:05:53 -0500 |
| commit | c1bbc8cae961904c93afb7de8911fe42e2b16236 (patch) | |
| tree | ed37002956d62d35d203bb1e88c40bdc53cbfa76 /docs/ref | |
| parent | d5df914fe14fd96cec1cd3465852b8da72e7c5f6 (diff) | |
Added Rudy Mutter to AUTHORS for his work, ref #20821.
Diffstat (limited to 'docs/ref')
0 files changed, 0 insertions, 0 deletions