diff options
| author | Oliver Smith <osmith@sysmocom.de> | 2018-11-19 14:23:33 +0100 |
|---|---|---|
| committer | Oliver Smith <osmith@sysmocom.de> | 2018-11-21 14:37:49 +0100 |
| commit | 41e54a4d7fb044cf1cde1f8a8c1518c3285c6860 (patch) | |
| tree | a79547dbef127abe503e888eaea63af8b78dbfbc /contrib/jenkins.sh | |
| parent | 896c7a8c4958870f0ca600a60c14d52ac49a67f0 (diff) | |
gitignore: add "make distcheck" generated files
(moving manuals to project repositories 16/19)
Related: OS#3385
Change-Id: I876b0fa08d2987d285b6d77ef13069228c8b8d37
Diffstat (limited to 'contrib/jenkins.sh')
0 files changed, 0 insertions, 0 deletions