diff options
Diffstat (limited to 'contributing.mdwn')
| -rw-r--r-- | contributing.mdwn | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/contributing.mdwn b/contributing.mdwn index 45460f6f..77d0f9a5 100644 --- a/contributing.mdwn +++ b/contributing.mdwn @@ -158,10 +158,7 @@ reports to open-ended research questions. <a name="insta-dev-env"></a> ## Instant Development Environment -<!-- I don't like this being here. At least not in this form. This just -duplicates information that is available in other places. (Or should be -available in other places, in more elaborate form.) - +<!-- The idea of a one-stop development environment is not bad (I like that), but I'd do this differently. For example, we should add some Git submodules to the master hurd.git repository (which is currently empty), to branches that are |