Collin Funk wrote: > Oops, in the commit before I added some comments directly from > gnulib-tool to main.py as well. Feel free to change them
No hurry, no problem. Such comments can stay as they are, in the short term. Bruno
- [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 57. Collin Funk
- Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, ... Bruno Haible
- Re: [PATCH] gnulib-tool.py: Follow gnulib-tool chang... Collin Funk
- Re: [PATCH] gnulib-tool.py: Follow gnulib-tool c... Bruno Haible
