On 9/9/18 6:32 PM, Per Bothner wrote:
> I'm used to the "master" branch of a git repository being "the current
> development
> source" but 'git checkout devel' fixed that problem.
Yeah, that's a longish story.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU [email protected] http://tiswww.cwru.edu/~chet/
_______________________________________________
Bug-readline mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-readline
