|
build
|
Add debian packaging and some build scripts
|
2018-05-03 10:03:25 +03:00 |
|
ci
|
Fix compiling things in gh-deployer
|
2018-05-15 20:02:46 +03:00 |
|
coverage
|
Add debian packaging and some build scripts
|
2018-05-03 10:03:25 +03:00 |
|
lint
|
Add debian packaging and some build scripts
|
2018-05-03 10:03:25 +03:00 |
|
package
|
Add debian packaging and some build scripts
|
2018-05-03 10:03:25 +03:00 |
