diff options
Diffstat (limited to 'result/noent/pi.xml')
| -rw-r--r-- | result/noent/pi.xml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/result/noent/pi.xml b/result/noent/pi.xml deleted file mode 100644 index 48c7ff0..0000000 --- a/result/noent/pi.xml +++ /dev/null @@ -1,6 +0,0 @@ -<?xml version="1.0"?> -<doc> -<?document-start doc?> -<empty/> -<?document-end doc?> -</doc> |