<!-- NewPage -->
<html lang="en">
<head>
-<!-- Generated by javadoc (1.8.0_72-internal) on Sat Apr 09 23:43:01 JST 2016 -->
-<title>RandomAccessInputStream (dictzip-lib API)</title>
-<meta name="date" content="2016-04-09">
+<!-- Generated by javadoc (1.8.0_91) on Tue May 03 10:47:23 JST 2016 -->
+<title>RandomAccessInputStream (dictzip-lib 0.8.1 API)</title>
+<meta name="date" content="2016-05-03">
<link rel="stylesheet" type="text/css" href="../../../stylesheet.css" title="Style">
<script type="text/javascript" src="../../../script.js"></script>
</head>
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
- parent.document.title="RandomAccessInputStream (dictzip-lib API)";
+ parent.document.title="RandomAccessInputStream (dictzip-lib 0.8.1 API)";
}
}
catch(err) {