free_strict: print the line number where the pointer was freed

[smatch.git] / Documentation / templates / layout.html

{% extends "!layout.html" %}
{% block menu %}
    {{ super() }}
    <p class="caption"><span class="caption-text">Index</span></p>
    <ul>
    <li class="toctree-l1"><a class="reference internal" href="{{ pathto('genindex') }}">Index</a></li>
    </ul>
{% endblock %}