You need to sign in or sign up before continuing.
-
Jorge C. Leitao authored
This was not documented, and it is a very useful feature for badges, versioned documentation, etc. already exist, it is just not documented. This commit fixes this.
3290e580
