4f40c6ac65
Maintainers should use build-helper script. End users should use Makefile, which contains targets that can be run on pure source (without git repository).
9 lines
222 B
Plaintext
9 lines
222 B
Plaintext
.gitignore export-ignore
|
|
.gitattributes export-ignore
|
|
.gitkeep export-ignore
|
|
docs/speeches export-ignore
|
|
docs/video export-ignore
|
|
docs/src/man7 export-ignore
|
|
bin/build-helper export-ignore
|
|
README-maintainers export-ignore
|