[Home] [By Thread] [By Date] [Recent Entries]
On 20/12/2023 19:59, dvint dvint@xxxxxxxxx wrote:
I have twist on this question. Can't you use replace('$str:[]#', '[:\[\]#"]', '\\$0')?
|
[Home] [By Thread] [By Date] [Recent Entries]
On 20/12/2023 19:59, dvint dvint@xxxxxxxxx wrote:
I have twist on this question. Can't you use replace('$str:[]#', '[:\[\]#"]', '\\$0')?
|