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)
.non-distfiles

index 0c43af5..146c445 100644 (file)
@@ -2,6 +2,7 @@ planetlab/exp-tool
 planetlab/exp-tool/Makefile
 planetlab/exp-tool/showgraph
 planetlab/exp-tool/README
+planetlab/scripts/refresh
 sliver-openvswitch.spec
 .gitignore
 .non-distfiles