diff options
| author | Ben Kaduk <kaduk@mit.edu> | 2012-10-12 12:05:30 -0400 |
|---|---|---|
| committer | Ben Kaduk <kaduk@mit.edu> | 2012-10-15 17:18:53 -0400 |
| commit | 612d64fa15ec1efe1bdd0001b62ff1eabab64da5 (patch) | |
| tree | 3bc6bded0d9f48dc1fa65214a825f7105da0a027 /src/lib | |
| parent | 2d807911816667783baebf4d11637689c030b9f9 (diff) | |
Remove unused texinfo sources
Now that the users guide make rules are removed, some of the texinfo
sources are not referenced from anywhere and can be safely removed.
ticket: 7408
Diffstat (limited to 'src/lib')
0 files changed, 0 insertions, 0 deletions