On Thu, Dec 10, 2015 at 07:13:15AM -0500, Mark Roszko wrote: > That's the development branch which has different commits, 4.0.1 is in > the /4.0 branch.
Any way to obtain that branch using git? Seems to me that git (github repo) records only the dev branch or am I wrong? -- Marco Ciampa I know a joke about UDP, but you might not get it. +------------------------+ | GNU/Linux User #78271 | | FSFE fellow #364 | +------------------------+ _______________________________________________ Mailing list: https://launchpad.net/~kicad-developers Post to : [email protected] Unsubscribe : https://launchpad.net/~kicad-developers More help : https://help.launchpad.net/ListHelp

