diff options
| author | Luca Barbieri <[email protected]> | 2010-08-21 12:37:18 +0200 |
|---|---|---|
| committer | Luca Barbieri <[email protected]> | 2010-08-21 12:37:39 +0200 |
| commit | fa32fde26cbb770c6ffa0a0ead529d511eab1eb1 (patch) | |
| tree | 3d8618efeaf94d895d1eb9d66f9bde14c1aaebd8 /docs/utility.html | |
| parent | 121aa3cfcb106be1ecaae102177bb882bfbce9d9 (diff) | |
auxiliary: add copyright headers
Thanks to Jose Fonseca for pointing out they were missing.
Diffstat (limited to 'docs/utility.html')
0 files changed, 0 insertions, 0 deletions