dorsal team mailing list archive

[Johannes Ring <johannr@xxxxxxxxx>]

Yes, but I guess it is not needed since it is already unset in
dorsal.sh. Feel free to remove it if you like.

Johannes

On Wed, May 9, 2012 at 9:50 AM, Harish Narayanan
<harish.mlists@xxxxxxxxx> wrote:
> And did you mean to reset CONFOPTS to null at the beginning of the file?
>
> Harish
>
> On 5/9/12 9:34 AM, noreply@xxxxxxxxxxxxx wrote:
>> ------------------------------------------------------------
>> revno: 718
>> committer: Johannes Ring <johannr@xxxxxxxxx>
>> branch nick: dorsal
>> timestamp: Wed 2012-05-09 09:33:41 +0200
>> message:
>>   Minor fix.
>> modified:
>>   FEniCS/packages/boost.package
>>
>>
>> --
>> lp:dorsal
>> https://code.launchpad.net/~dorsal-core/dorsal/main
>>
>> Your team Dorsal is subscribed to branch lp:dorsal.
>> To unsubscribe from this branch go to https://code.launchpad.net/~dorsal-core/dorsal/main/+edit-subscription
>
>
> _______________________________________________
> Mailing list: https://launchpad.net/~dorsal
> Post to     : dorsal@xxxxxxxxxxxxxxxxxxx
> Unsubscribe : https://launchpad.net/~dorsal
> More help   : https://help.launchpad.net/ListHelp