From 8b019b579934b41b14faa7c0569f6cee82712dda Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 4 May 2014 20:15:52 -0600 Subject: [PATCH] gui-pkg-manager: add Robby as author --- pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/info.rkt | 2 +- pkgs/gui-pkg-manager-pkgs/gui-pkg-manager/info.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/info.rkt b/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/info.rkt index f5087b87d6..5b2af7af77 100644 --- a/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/info.rkt +++ b/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/info.rkt @@ -8,4 +8,4 @@ (define pkg-desc "implementation (no documentation) part of \"gui-pkg-manager\"") -(define pkg-authors '(mflatt)) +(define pkg-authors '(mflatt robby)) diff --git a/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager/info.rkt b/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager/info.rkt index 18d3a60ffb..06f22e78ef 100644 --- a/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager/info.rkt +++ b/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager/info.rkt @@ -12,4 +12,4 @@ (define pkg-desc "Graphical tool for managing Racket package installations") -(define pkg-authors '(mflatt)) +(define pkg-authors '(mflatt robby))