aboutsummaryrefslogtreecommitdiff
path: root/doc/ext_jit.html
diff options
context:
space:
mode:
authorMike Pall <mike>2017-01-17 12:41:05 +0100
committerMike Pall <mike>2017-01-17 12:41:05 +0100
commit71ff7ef8a7e0592dedb3527d4aacc68bf04af0bd (patch)
tree898e706d4b2455c2c3799cc179f3bc7adf096858 /doc/ext_jit.html
parentc94b921f924c1b37fea52e34f4e01ba8b37d77d0 (diff)
parentb93a1dd0c831cab22f98163d0dde792a493c0eef (diff)
downloadluajit-71ff7ef8a7e0592dedb3527d4aacc68bf04af0bd.tar.gz
luajit-71ff7ef8a7e0592dedb3527d4aacc68bf04af0bd.tar.bz2
luajit-71ff7ef8a7e0592dedb3527d4aacc68bf04af0bd.zip
Merge branch 'master' into v2.1
Diffstat (limited to 'doc/ext_jit.html')
-rw-r--r--doc/ext_jit.html4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ext_jit.html b/doc/ext_jit.html
index 86098019..e4088bcb 100644
--- a/doc/ext_jit.html
+++ b/doc/ext_jit.html
@@ -4,7 +4,7 @@
4<title>jit.* Library</title> 4<title>jit.* Library</title>
5<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> 5<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
6<meta name="Author" content="Mike Pall"> 6<meta name="Author" content="Mike Pall">
7<meta name="Copyright" content="Copyright (C) 2005-2016, Mike Pall"> 7<meta name="Copyright" content="Copyright (C) 2005-2017, Mike Pall">
8<meta name="Language" content="en"> 8<meta name="Language" content="en">
9<link rel="stylesheet" type="text/css" href="bluequad.css" media="screen"> 9<link rel="stylesheet" type="text/css" href="bluequad.css" media="screen">
10<link rel="stylesheet" type="text/css" href="bluequad-print.css" media="print"> 10<link rel="stylesheet" type="text/css" href="bluequad-print.css" media="print">
@@ -191,7 +191,7 @@ if you want to know more.
191</div> 191</div>
192<div id="foot"> 192<div id="foot">
193<hr class="hide"> 193<hr class="hide">
194Copyright &copy; 2005-2016 Mike Pall 194Copyright &copy; 2005-2017 Mike Pall
195<span class="noprint"> 195<span class="noprint">
196&middot; 196&middot;
197<a href="contact.html">Contact</a> 197<a href="contact.html">Contact</a>