Re: git repo proposal

al davis <[email protected]> Sun, 26 May 2013 10:51:54 -0400

Newsgroups	gmane.comp.gnu.gnucap.devel
Message-ID	<[email protected]>

On Sunday 26 May 2013, Felix Salfelder wrote:
> i see. i have my gnucap instances sorted by prefix and select
> with $PATH. that way confusion is impossible.

I do that too, but still confusion is possible, especially with 
the library and plugins.   I know which main, but which library 
and which default plugins?  Maybe I want to change just one, 
which will rarely be "main".