/mandos/release

To get this branch, use:
bzr branch http://bzr.recompile.se/loggerhead/mandos/release

« back to all changes in this revision

Viewing changes to debian/source/local-options

  • Committer: Teddy Hogeborn
  • Date: 2019-07-24 11:02:24 UTC
  • mto: This revision was merged to the branch mainline in revision 384.
  • Revision ID: teddy@recompile.se-20190724110224-i5wwdsrv2h9ic4nh
Fix bashisms: Use "command -v" instead of "type"

* Makefile (DOCBOOKTOMAN): Change "type" to "command -v".
* mandos-to-cryptroot-unlock: - '' -

Show diffs side-by-side

added added

removed removed

Lines of Context:
debian/source/local-options