From 43517183948746eb1be5efe00b332f4e24646f48 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 31 Dec 2013 17:05:39 -0700 Subject: [PATCH] copy `responsible` info to "info.rkt" files It seems more ideal that `pkg-authors` would be specific enough responsibility, but our existing allocations of responsibility are more fine-grained, and we keep them for now. original commit: 19f8f30f63ece380105f69796c046c7a00aa4f97 --- pkgs/gui-pkgs/gui-doc/mrlib/info.rkt | 3 +++ pkgs/gui-pkgs/gui-doc/scribblings/framework/info.rkt | 2 ++ pkgs/gui-pkgs/gui-lib/framework/info.rkt | 3 +++ pkgs/gui-pkgs/gui-lib/mrlib/info.rkt | 3 +++ pkgs/gui-pkgs/gui-test/framework/info.rkt | 3 +++ 5 files changed, 14 insertions(+) create mode 100644 pkgs/gui-pkgs/gui-doc/mrlib/info.rkt create mode 100644 pkgs/gui-pkgs/gui-lib/framework/info.rkt create mode 100644 pkgs/gui-pkgs/gui-lib/mrlib/info.rkt create mode 100644 pkgs/gui-pkgs/gui-test/framework/info.rkt diff --git a/pkgs/gui-pkgs/gui-doc/mrlib/info.rkt b/pkgs/gui-pkgs/gui-doc/mrlib/info.rkt new file mode 100644 index 00000000..bb17d7a1 --- /dev/null +++ b/pkgs/gui-pkgs/gui-doc/mrlib/info.rkt @@ -0,0 +1,3 @@ +#lang info + +(define test-responsibles '((all robby))) diff --git a/pkgs/gui-pkgs/gui-doc/scribblings/framework/info.rkt b/pkgs/gui-pkgs/gui-doc/scribblings/framework/info.rkt index e87097ad..f2359492 100644 --- a/pkgs/gui-pkgs/gui-doc/scribblings/framework/info.rkt +++ b/pkgs/gui-pkgs/gui-doc/scribblings/framework/info.rkt @@ -2,3 +2,5 @@ (define scribblings '(("framework.scrbl" (multi-page) (gui-library 100)))) + +(define test-responsibles '((all robby))) diff --git a/pkgs/gui-pkgs/gui-lib/framework/info.rkt b/pkgs/gui-pkgs/gui-lib/framework/info.rkt new file mode 100644 index 00000000..bb17d7a1 --- /dev/null +++ b/pkgs/gui-pkgs/gui-lib/framework/info.rkt @@ -0,0 +1,3 @@ +#lang info + +(define test-responsibles '((all robby))) diff --git a/pkgs/gui-pkgs/gui-lib/mrlib/info.rkt b/pkgs/gui-pkgs/gui-lib/mrlib/info.rkt new file mode 100644 index 00000000..a297bb92 --- /dev/null +++ b/pkgs/gui-pkgs/gui-lib/mrlib/info.rkt @@ -0,0 +1,3 @@ +#lang info + +(define test-responsibles '((all (mflatt robby)))) diff --git a/pkgs/gui-pkgs/gui-test/framework/info.rkt b/pkgs/gui-pkgs/gui-test/framework/info.rkt new file mode 100644 index 00000000..bb17d7a1 --- /dev/null +++ b/pkgs/gui-pkgs/gui-test/framework/info.rkt @@ -0,0 +1,3 @@ +#lang info + +(define test-responsibles '((all robby)))