diff options
| author | rsiddharth <s@ricketyspace.net> | 2016-07-14 22:22:22 +0000 |
|---|---|---|
| committer | rsiddharth <s@ricketyspace.net> | 2016-07-14 22:22:22 +0000 |
| commit | ec871cbde3e1aeb70d4a016a412e8aea66012503 (patch) | |
| tree | 59700d9a9af391a326cfe99581e38319fc71066a /docs/Makefile | |
| parent | b1018c8642fd368ebd494da167601a52c72e1e8e (diff) | |
update Makefile.
* Makefile ($(git_difme)): insert repo info to target file.
Diffstat (limited to 'docs/Makefile')
0 files changed, 0 insertions, 0 deletions