← Back to team overview

fenics team mailing list archive

Re: [791120@xxxxxxxxxxxxxxxxxx: [Bug 791120] [NEW] Missing copyright/license header]

 

On Wed, Jun 01, 2011 at 04:55:50PM +0200, Johannes Ring wrote:
> On Wed, Jun 1, 2011 at 2:29 PM, Anders Logg <logg@xxxxxxxxx> wrote:
> > On Wed, Jun 01, 2011 at 08:27:44AM -0400, Joe Morris wrote:
> >> On 6/1/2011 7:17 AM, Johannes Ring wrote:
> >> >On Wed, Jun 1, 2011 at 1:05 PM, Anders Logg<logg@xxxxxxxxx>  wrote:
> >> >>The extra space bothers me:
> >> >>
> >> >>  You should have received a copy of the GNU Lesser General Public
> >> >>  License along with Instant.  If not, see<http://www.gnu.org/licenses/>.
> >> >>                            ~~
> >> >>
> >> >>Is it intentional, or can we remove it?
> >> >It is simply copied and pasted directly from the GPL. See the bottom here:
> >> >
> >> >   http://www.gnu.org/licenses/gpl.html
> >> >
> >> >We can certainly remove it if we don't want it. In that case, there is
> >> >also one extra space in the paragraph above this.
> >> >
> >> >Johannes
> >> >
> >>
> >> This might be a throw-back to the typewriter convention where all
> >> periods were followed by two spaces? These days it does look a
> >> little odd.
> >
> > ok, let's change it then.
> >
> > Johannes, can you script it?
>
> Yes, but not until tomorrow.

No rush...

--
Anders


References