Hi,
Paul Wise wrote:
> On Sun, 2016-07-10 at 20:40 +0200, Holger Wansing wrote:
>
> > I have attached a new diff and the new resulting html file.
>
> This is a great band-aid to the current situation, thanks.
Committed.
Holger
--
===
On Sun, 2016-07-10 at 20:40 +0200, Holger Wansing wrote:
> I have attached a new diff and the new resulting html file.
This is a great band-aid to the current situation, thanks.
Longer-term, we should look at making aspects of it automatically
generated based on the list of arches in the Release
Hi,
John Paul Adrian Glaubitz wrote:
> On 07/08/2016 07:20 PM, Holger Wansing wrote:
> > You are right, strictly spoken.
> > But there are several "old and removed" ports in the "unofficial ports"
> > section,
> > like alpha or arm or hppa.
> > To solve this, we would need to create a third sect
On 07/08/2016 07:20 PM, Holger Wansing wrote:
> You are right, strictly spoken.
> But there are several "old and removed" ports in the "unofficial ports"
> section,
> like alpha or arm or hppa.
> To solve this, we would need to create a third section like "Old/Removed
> ports",
> or the like.
Bo
> I think the status field saying "released", "discontinued" etc provides the
> information with the current layout.
>
> Thanks for caring about the ports page. I marked the patches for review (in
> my TODO) but couldn't find time :/
>
Convert it to a wiki page.
The work would have been done we
Hi
On 8 de julio de 2016 19:20:13 GMT+02:00, Holger Wansing
wrote:
>Hi,
>
>John Paul Adrian Glaubitz wrote:
>>
>>
>> > On Jul 7, 2016, at 8:57 PM, Holger Wansing
> wrote:
>> >
>> > Hi,
>> >
>> > Holger Wansing wrote:
>> >> Hi,
>> >>
>> >> Paul Wise wrote:
>> On Sat, Jun 25, 2016 at
Hi,
John Paul Adrian Glaubitz wrote:
>
>
> > On Jul 7, 2016, at 8:57 PM, Holger Wansing wrote:
> >
> > Hi,
> >
> > Holger Wansing wrote:
> >> Hi,
> >>
> >> Paul Wise wrote:
> On Sat, Jun 25, 2016 at 9:55 AM, Jeffrey Walton wrote:
>
> The Ports wiki page (https://www.debian
> On Jul 7, 2016, at 8:57 PM, Holger Wansing wrote:
>
> Hi,
>
> Holger Wansing wrote:
>> Hi,
>>
>> Paul Wise wrote:
On Sat, Jun 25, 2016 at 9:55 AM, Jeffrey Walton wrote:
The Ports wiki page (https://www.debian.org/ports/) appears to be out
of date. Its causing confusio
Hi,
Holger Wansing wrote:
> Hi,
>
> Paul Wise wrote:
> > On Sat, Jun 25, 2016 at 9:55 AM, Jeffrey Walton wrote:
> >
> > > The Ports wiki page (https://www.debian.org/ports/) appears to be out
> > > of date. Its causing confusion among users and maintainers. For
> > > example, a few bugs were r
9 matches
Mail list logo
