chiark / gitweb /
~ian / pcre3.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge from existing archive branch
[pcre3.git] / debian / source / options
1 compression = "gzip"
2 compression-level = 9
Unnamed repository; edit this file 'description' to name the repository.