mersenneforum.org - View Single Post - convert files from srsieve/srfile into worktodo.txt

Rincewind · 2014-10-31, 17:18

That's great!

I thought about using 'sed' but regex and I are not the best friends ; )
Thank you both!

2014-10-31, 17:18	#4
Rincewind Oct 2006 103₁₀ Posts	That's great! I thought about using 'sed' but regex and I are not the best friends ; ) Thank you both!