mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
22babb1718
Project is now under https://github.com/jerryscript-project and https://jerryscript.net . Update hardcoded URLs to use HTTPS, both for JerryScript and IoT.js. Make non-hardcoded URLs use Jekyll's `relative_url` filter to avoid mixed content errors on GH Pages. JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
22 lines
439 B
HTML
22 lines
439 B
HTML
<!DOCTYPE html>
|
|
<html lang="en">
|
|
|
|
{% include head.html %}
|
|
|
|
<body>
|
|
|
|
{% include header.html %}
|
|
|
|
<div class="container">
|
|
{{ content }}
|
|
</div><!-- /.container -->
|
|
|
|
{% include footer.html %}
|
|
|
|
<!-- Bootstrap core JavaScript -->
|
|
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.2/jquery.min.js"></script>
|
|
<script src="{{ '/js/bootstrap.min.js' | relative_url }}"></script>
|
|
|
|
</body>
|
|
</html>
|