diff options
author | rsiddharth <rsd@gnu.org> | 2016-05-26 19:33:12 +0000 |
---|---|---|
committer | rsiddharth <rsd@gnu.org> | 2016-05-26 19:33:12 +0000 |
commit | d41613f7a30bb9bdbef020c82c1f83ae09ce6ed3 (patch) | |
tree | 0001c7bf2e61fe9b1e72fecabf333d0be53fb952 /docs/install | |
parent | 08e3b283337104a65f86c6c271298856631f8716 (diff) |
Makefile: reorganized .PHONY
Diffstat (limited to 'docs/install')
0 files changed, 0 insertions, 0 deletions