From 7205160d8ff655a64ac3e6c5df0d7f36c0e98a0f Mon Sep 17 00:00:00 2001
From: Giuseppe Lettieri <g.lettieri@iet.unipi.it>
Date: Wed, 3 Oct 2012 18:32:25 +0200
Subject: [PATCH] add refresh to the non-distfiles list

---
 .non-distfiles | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.non-distfiles b/.non-distfiles
index 0c43af554..146c4451e 100644
--- a/.non-distfiles
+++ b/.non-distfiles
@@ -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
-- 
2.43.0