On Wed, Jan 30, 2013 at 1:39 PM, Andreas Boll
wrote:
> ---
> docs/devinfo.html | 12
> 1 file changed, 8 insertions(+), 4 deletions(-)
>
> diff --git a/docs/devinfo.html b/docs/devinfo.html
> index 15a885f..d64171a 100644
> --- a/docs/devinfo.html
> +++ b/docs/devinfo.html
> @@ -21
---
docs/devinfo.html | 12
1 file changed, 8 insertions(+), 4 deletions(-)
diff --git a/docs/devinfo.html b/docs/devinfo.html
index 15a885f..d64171a 100644
--- a/docs/devinfo.html
+++ b/docs/devinfo.html
@@ -217,7 +217,7 @@ Update docs/index.html.
Tag the files with the relea