X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2Fuser%2F.ignore;fp=palacios%2Fbuild%2Fuser%2F.ignore;h=0000000000000000000000000000000000000000;hb=d38e1d6edeee83bfb1e3e3c6e2367faa5055bdfe;hp=491aec8b750a0fce4570058575a8ec4401d2677a;hpb=e70e95962c26832628d586e07f9cd1a2e1852d72;p=palacios-OLD.git diff --git a/palacios/build/user/.ignore b/palacios/build/user/.ignore deleted file mode 100644 index 491aec8..0000000 --- a/palacios/build/user/.ignore +++ /dev/null @@ -1 +0,0 @@ -This file is just here to ensure that the directory exists.