[imp-dev] Source for the site at http://eclipse.org/imp

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[imp-dev] Source for the site at http://eclipse.org/imp

From: Rob Clevenger <rcleveng@xxxxxxxxxx>
Date: Thu, 30 Apr 2009 11:31:05 -0700
Delivered-to: imp-dev@xxxxxxxxxxx
Domainkey-signature: a=rsa-sha1; s=beta; d=google.com; c=nofws; q=dns; h=mime-version:from:date:message-id:subject:to:content-type:x-system-of-record; b=WEV40XaLOVcoYX7cDNbB+qfOAYiKnh0QDbQ7vBikGd5TEJw0Jaf+hf0Q60ZGWPVOx jCHw96T1gaMct0mOO9IsQ==
List-archive: <https://dev.eclipse.org/mailman/private/imp-dev>
List-help: <mailto:imp-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/imp-dev>, <mailto:imp-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/listinfo/imp-dev>, <mailto:imp-dev-request@eclipse.org?subject=unsubscribe>

Specifically /documentation.php, I'd like to submit a patch to remove the bit about it not working on linux (Bob confirmed on the LPG forum that it's not an issue anymore, apart from needing a chmod) but I can't find it under http://dev.eclipse.org/svnroot/technology/org.eclipse.imp/

Where should I look?

Thanks,
Rob

Follow-Ups:
- Re: [imp-dev] Source for the site at http://eclipse.org/imp
  - From: Beth Tibbitts

Prev by Date: Re: [imp-dev] More documentation on LPG/JikesPG?
Next by Date: Re: [imp-dev] More documentation on LPG/JikesPG?
Previous by thread: [imp-dev] More documentation on LPG/JikesPG?
Next by thread: Re: [imp-dev] Source for the site at http://eclipse.org/imp
Index(es):
- Date
- Thread

Breadcrumbs