|
| From: | Slawomir Kolodynski |
| Subject: | Re: [Isarmathlib-devel] Getting rid of extra spaces |
| Date: | Sat, 8 Nov 2008 07:52:21 -0800 (PST) |
> with an extra space after group0.
> So I fixed it.
>
> Hope that was okay,
>
Sure it was.
Slawekk
| [Prev in Thread] | Current Thread | [Next in Thread] |