diff options
author | Christopher Arndt | 2017-05-05 13:37:11 +0200 |
---|---|---|
committer | Christopher Arndt | 2017-05-05 13:37:11 +0200 |
commit | 1013ebe6fb906df005d6be19a06fd3815aba3b8c (patch) | |
tree | 24795bb7c394d972c7093a5d3d6be4c27a1245ae /.gitignore | |
parent | d49c17559b118d253f91665137ee0d962edec1df (diff) | |
download | aur-1013ebe6fb906df005d6be19a06fd3815aba3b8c.tar.gz |
Fix docs building and version number detection
Signed-off-by: Christopher Arndt <chris@chrisarndt.de>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions