Delete unnecessary line

This commit is contained in:
Phuoc Dinh Le 2021-10-15 16:59:59 -05:00 committed by GitHub
parent 21431b4075
commit a0bbde0a0f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -387,7 +387,6 @@
{% else %}
{% include "comments/list.html" %}
{% endif %}
<iframe src="{{problem.code}}/raw" name="raw_problem" id="raw_problem"></iframe>
{% endblock %}
{% block bodyend %}