diff options
| author | Yoni Rabkin <yrk@gnu.org> | 2015-10-12 19:18:03 -0400 |
|---|---|---|
| committer | Yoni Rabkin <yrk@gnu.org> | 2015-10-12 19:18:03 -0400 |
| commit | f2d75b7be78ac2523dc2c8c4647d1bc7ee0ce6ed (patch) | |
| tree | d9b086f6ca3d25ee749695e54948decb96207af8 /doc/gpl.texi | |
| parent | e7779ce1381fe6e00c73f8e506b2870fff170e30 (diff) | |
* rt-liberation-report.el: pass to main machine.
Diffstat (limited to 'doc/gpl.texi')
0 files changed, 0 insertions, 0 deletions