commit c5ed37ae27e6dce75857cce4ab2147e51b7ea8e0 parent d3b5db65e4a55444d8f1c6835b45d8ce07dc534d Author: Christian Grothoff <christian@grothoff.org> Date: Wed, 25 Dec 2019 12:18:08 +0100 last touches Diffstat:
| M | AUTHORS | | | 3 | +++ |
1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/AUTHORS b/AUTHORS @@ -0,0 +1,3 @@ +Marco Boss +Dominik Hofer +Christian Grothoff