Re: [ng-spice] History and command completion
On Wed, Nov 08, 2000 at 06:24:06PM +0100, Paolo Nenzi wrote:
> On Wed, 8 Nov 2000, GLAO S. Dezai wrote:
>
> > Paolo, is it possible to remove the patch until a solution is found to
>free safely the memory?
> >
>
> Regarding your question, it should be possible, Arno ?
Yes, check out the version of the file without the patch. Rename the
file and check out the latest version. Paste over the new version
with the old version and commit it to CVS. If you do this, please add
a note in the ChangeLog saying that you reverted the code to a
previous state.
I know: yes, it is crude, yes it is a little convoluted. If anybody
on the list knows a better way of handling these things, I am all
ears.
Good luck,
--
Arno
PGP signature
Partial thread listing:
- Re: [ng-spice] History and command completion, (continued)