add refresh to the non-distfiles list
authorGiuseppe Lettieri <g.lettieri@iet.unipi.it>
Wed, 3 Oct 2012 16:32:25 +0000 (18:32 +0200)
committerGiuseppe Lettieri <g.lettieri@iet.unipi.it>
Wed, 3 Oct 2012 16:32:25 +0000 (18:32 +0200)
commit7205160d8ff655a64ac3e6c5df0d7f36c0e98a0f
treeacb4037c56212885f2569a5a1ba876e9283b2d14
parent7a3d4b5f33a1b98ea50328edf6e1f9d82c37c853
add refresh to the non-distfiles list
.non-distfiles