(library (name elements) (libraries brr brr.note js_of_ocaml ) (preprocess (pps ppx_hash js_of_ocaml-ppx)) ) n' href='/favicon.ico'/> <link rel='alternate' title='Atom feed' href='https://git.chimrod.com/blog_scripts.git/atom/script.it/script_event/dune?h=master' type='application/atom+xml'/> </head> <body> <div id='cgit'><table id='header'> <tr> <td class='logo' rowspan='2'><a href='/'><img src='/cgit-css/cgit.png' alt='cgit logo'/></a></td> <td class='main'><a href='/'>index</a> : <a href='/blog_scripts.git/'>blog_scripts.git</a></td><td class='form'><form method='get'> <input type='hidden' name='id' value='a32f1e426fe8dd73de0e2498838861888b78d776'/><select name='h' onchange='this.form.submit();'> <option value='editor'>editor</option> <option value='master' selected='selected'>master</option> </select> <input type='submit' value='switch'/></form></td></tr> <tr><td class='sub'>Applications du blog</td><td class='sub right'>Sébastien Dailly</td></tr></table> <table class='tabs'><tr><td> <a href='/blog_scripts.git/about/'>about</a><a href='/blog_scripts.git/'>summary</a><a href='/blog_scripts.git/refs/?id=a32f1e426fe8dd73de0e2498838861888b78d776'>refs</a><a href='/blog_scripts.git/log/script.it/script_event/dune'>log</a><a class='active' href='/blog_scripts.git/tree/script.it/script_event/dune?id=a32f1e426fe8dd73de0e2498838861888b78d776'>tree</a><a href='/blog_scripts.git/commit/script.it/script_event/dune?id=a32f1e426fe8dd73de0e2498838861888b78d776'>commit</a><a href='/blog_scripts.git/diff/script.it/script_event/dune?id=a32f1e426fe8dd73de0e2498838861888b78d776'>diff</a></td><td class='form'><form class='right' method='get' action='/blog_scripts.git/log/script.it/script_event/dune'> <input type='hidden' name='id' value='a32f1e426fe8dd73de0e2498838861888b78d776'/><select name='qt'> <option value='grep'>log msg</option> <option value='author'>author</option> <option value='committer'>committer</option> <option value='range'>range</option> </select> <input class='txt' type='search' size='10' name='q' value=''/> <input type='submit' value='search'/> </form> </td></tr></table> <div class='path'>path: <a href='/blog_scripts.git/tree/?id=a32f1e426fe8dd73de0e2498838861888b78d776'>root</a>/<a href='/blog_scripts.git/tree/script.it?id=a32f1e426fe8dd73de0e2498838861888b78d776'>script.it</a>/<a href='/blog_scripts.git/tree/script.it/script_event?id=a32f1e426fe8dd73de0e2498838861888b78d776'>script_event</a>/<a href='/blog_scripts.git/tree/script.it/script_event/dune?id=a32f1e426fe8dd73de0e2498838861888b78d776'>dune</a></div><div class='content'>blob: 2271b0ad407fe8a96a1dcacd9453594a883aa2da (<a href='/blog_scripts.git/plain/script.it/script_event/dune?id=a32f1e426fe8dd73de0e2498838861888b78d776'>plain</a>) <table summary='blob content' class='blob'> <tr><td class='linenumbers'><pre><a id='n1' href='#n1'>1</a> <a id='n2' href='#n2'>2</a> <a id='n3' href='#n3'>3</a> <a id='n4' href='#n4'>4</a> <a id='n5' href='#n5'>5</a> <a id='n6' href='#n6'>6</a> <a id='n7' href='#n7'>7</a> <a id='n8' href='#n8'>8</a> </pre></td> <td class='lines'><pre><code>