* Gui Iribarren gui@altermundi.net [01.04.2014 10:08]:
something like
$ cd feeds/routing $ git log batman-adv # find your favorite old version $ git checkout e2cfab7f287673b1d6854c59db6e710668d145f3
IMHO this does not work, because 'scripts/feeds' throws away the history ("git clone --depth 1").
bye, bastian