1.1 --- a/sandbox/attributed-index-web/ui-snippet.html	Mon Dec 19 11:37:36 2016 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,7 +0,0 @@
     1.4 -<#if snippets??>
     1.5 -    <#list snippets as snippet>
     1.6 -        <pre>${snippet.prefix}<span class="occurrence">${snippet.occurrence}</span>${snippet.suffix}</pre><br>
     1.7 -    </#list>
     1.8 -<#else>
     1.9 -    No occurrences.
    1.10 -</#if>