chiark / gitweb /
Change suggested virtualbox package name
authorCiaran Gultnieks <ciaran@ciarang.com>
Thu, 18 Jul 2013 11:40:25 +0000 (12:40 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Thu, 18 Jul 2013 11:40:25 +0000 (12:40 +0100)
docs/fdroid.texi

index 25084987edc9668cb87bc004ae2021418eebaa45..1f0de51aeaf255adf038f46b53df05a17ef18b2e 100644 (file)
@@ -127,7 +127,7 @@ If you intend to use the 'Build Server' system, for secure and clean builds
 
 @itemize @bullet
 @item
-VirtualBox (debian package virtualbox-ose)
+VirtualBox (debian package virtualbox)
 @item
 Ruby (debian packages ruby and rubygems)
 @item