diff --git a/ve/pippo.txt b/ve/pippo.txt new file mode 100755 index 000000000..dd063dc17 --- /dev/null +++ b/ve/pippo.txt @@ -0,0 +1 @@ +Pippo