Juan RP d9df4c2804 doc/manual.txt: explain how to show build options for binpkgs.		2013-12-28 12:26:09 +01:00
..
manual.txt	doc/manual.txt: explain how to show build options for binpkgs.	2013-12-28 12:26:09 +01:00