X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2F.hg%2Fstore%2Fdata%2Fscripts%2Fkconfig%2Fsymbol.c.i;fp=kitten%2F.hg%2Fstore%2Fdata%2Fscripts%2Fkconfig%2Fsymbol.c.i;h=0000000000000000000000000000000000000000;hb=5393fbd7f71cd1b080169e8c36329191e380fd41;hp=ec1ceb97d2f015942d913c021feabe83cf84cfae;hpb=ad9eac2585dced281946bb716e3c2d96584a25fa;p=palacios.git

diff --git a/kitten/.hg/store/data/scripts/kconfig/symbol.c.i b/kitten/.hg/store/data/scripts/kconfig/symbol.c.i
deleted file mode 100644
index ec1ceb9..0000000
Binary files a/kitten/.hg/store/data/scripts/kconfig/symbol.c.i and /dev/null differ