diff --git a/mps/design/config.txt b/mps/design/config.txt index 54c9da1bf39..38cca8f1bb7 100644 --- a/mps/design/config.txt +++ b/mps/design/config.txt @@ -581,6 +581,7 @@ Document History .. _RB: http://www.ravenbrook.com/consultants/rb/ .. _NB: http://www.ravenbrook.com/consultants/nb/ +.. _GDR: http://www.ravenbrook.com/consultants/gdr/ Copyright and License