diff options
| author | Christopher Arndt | 2018-08-14 17:43:13 +0200 |
|---|---|---|
| committer | Christopher Arndt | 2018-08-14 17:43:13 +0200 |
| commit | c13e34fb55120020138443489fa636229d2e78c5 (patch) | |
| tree | 69190e5c2f9cc5ccfe46dc28825d37f56b2ce93f /.gitignore | |
| parent | abe365ad552d3b0a9c1fd1bf108efc70555d3959 (diff) | |
| download | aur-c13e34fb55120020138443489fa636229d2e78c5.tar.gz | |
Use gdosc develop branch; make sure ccache is used if enabled
Signed-off-by: Christopher Arndt <chris@chrisarndt.de>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions