On Wed, Jun 01, 2011 at 04:55:50PM +0200, Johannes Ring wrote: > On Wed, Jun 1, 2011 at 2:29 PM, Anders Logg <[email protected]> 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<[email protected]> 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 _______________________________________________ Mailing list: https://launchpad.net/~fenics Post to : [email protected] Unsubscribe : https://launchpad.net/~fenics More help : https://help.launchpad.net/ListHelp
