diff options
| author | Yoni Rabkin <yrk@gnu.org> | 2015-10-12 14:01:44 -0400 |
|---|---|---|
| committer | Yoni Rabkin <yrk@gnu.org> | 2015-10-12 14:01:44 -0400 |
| commit | cd29eacb888877bec75157002858583c8b1dd3a5 (patch) | |
| tree | 8b0235156047b5e7a3a69a99c8bb2bfa696fc3f6 /doc/Makefile | |
| parent | 9ce5b010422e4e577be07748ff7e38f656412a25 (diff) | |
Add collation.
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions