Sunday, September 30, 2018

Re: [UPDATE] divecmd-0.1.3

>> This updates divecmd to 0.1.3.
>
> Given that this is very new software under very active development
> and that no other ports depend on it, i committed right away,
> to avoid trouble with the upcoming lock.
>
>> Attached is both the port and a patch of the contents.
>
> Only the diff was needed in this case.
>
> The rule of thumb is:
>
> - attach a .tar.gz for new ports
> - send a diff inline for updates

Ingo,

Good to know, will do from now on!

Best,

Kristaps

No comments:

Post a Comment