diff options
author | rsiddharth <rsd@gnu.org> | 2016-05-26 19:26:33 +0000 |
---|---|---|
committer | rsiddharth <rsd@gnu.org> | 2016-05-26 19:26:33 +0000 |
commit | 08e3b283337104a65f86c6c271298856631f8716 (patch) | |
tree | 7cbba91ad7b9a3f265c6938dfc1eb4a9f45462f5 /docs/index.rst | |
parent | fc547c45840d2d7a155103f4399414f6d86b9f4c (diff) |
Makefile: add `clean-target` target.
Diffstat (limited to 'docs/index.rst')
0 files changed, 0 insertions, 0 deletions