wget-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Wget-dev] wget2 | * src/options.c: Update comments on how to add a


From: DalmeGNU
Subject: Re: [Wget-dev] wget2 | * src/options.c: Update comments on how to add a new option (!399)
Date: Tue, 04 Sep 2018 11:03:52 +0000

The pipeline failed due to docker/gitlab problems, but not our fault as I see. 
Maybe you should merge it without waiting for the pipeline @rockdaboot 

I saw that page some time ago @darnir, it is useful but I guess it may be too 
long for a FAQ file

-- 
Reply to this email directly or view it on GitLab: 
https://gitlab.com/gnuwget/wget2/merge_requests/399#note_98754406
You're receiving this email because of your account on gitlab.com.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]