S. Gilles on Sat, 15 Jul 2017 15:36:30 +0200 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Re: fetch_user_var() doesn't behave as I expect |
On 2017-07-15T11:47:59+0200, Bill Allombert wrote: > On Fri, Jul 14, 2017 at 10:39:55PM +0000, S. Gilles wrote: > > [...] > > In library mode, you should rather use fetch_var/delete_var rather than > varlower. Okay, thanks for the clarification. I suppose I should be storing variable numbers instead of names if I want to substitute later. -- S. Gilles