Merge branch 'nyov/wiki' into 'master'
authorRudolf Polzer <divverent@gmail.com>
Wed, 26 Nov 2014 11:52:16 +0000 (11:52 +0000)
committerRudolf Polzer <divverent@gmail.com>
Wed, 26 Nov 2014 11:52:16 +0000 (11:52 +0000)
commitceb891e7b45e92bdd8dce6ad9f4dce3642600584
tree70450c818d5cf7ef4ae71625183bd09fe5497042
parent653849e434f2179cc3826d3cd0c5061a5b9cbe62
parentd03c35e29004799d837fbd3d25953d4eb7a5917a
Merge branch 'nyov/wiki' into 'master'

Allow cloning wiki from './all'

This enables cloning the wiki by adding a `wiki.yes` file for `all`.

As the setup stands, it would require @divVerent to mirror the repo first at de.x.o before this can work.
(Alternatively re-enable gitlab as a valid location named `lab` and `./all update -l lab` to test or use it.)

See merge request !1