UNPKG

git2prov

Version:

Unleash the potential of Git in the new W3C standard for provenance.

83 lines (69 loc) 2.46 kB
<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <title>Git2PROV: Contact</title> <meta name="viewport" content="width=device-width, initial-scale=1.0"> <meta name="description" content="Unleash the potential of Git repos in the W3C standard for provenance."> <meta name="author" content=""> <!-- Le styles --> <link href="css/bootstrap.css" rel="stylesheet"> <style type="text/css"> body { padding-top: 60px; padding-bottom: 40px; } </style> <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.7.2/jquery.min.js"></script> <link href="css/bootstrap-responsive.css" rel="stylesheet"> <link rel="shortcut icon" href="images/favicon.ico"> </head> <body> <div class="navbar navbar-fixed-top navbar-inverse"> <div class="navbar-inner"> <div class="container-fluid"> <a class="btn btn-navbar" data-toggle="collapse" data-target=".nav-collapse"> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </a> <div class="nav-collapse"> <ul class="nav"> <li id="header-main"><a href="index.html">Git2PROV</a></li> <li id="header-about"><a href="about.html">About</a></li> <li id="header-contact"><a href="contact.html">Contact</a></li> </ul> </div> </div> </div> </div> <script> $('#header-translator').addClass("active"); </script> <div class="span12 row-fluid"> <div class="span8"> <p> For more information about Git2PROV, contact one of the corresponding authors: <ul> <li>Tom De Nies - twitter: <a href="http://twitter.com/TomDeNies">@TomDeNies</a> - email:<a href="mailto:tom.denies@ugent.be">tom.denies@ugent.be</a> </li> <li>Sara Magliacane - twitter: <a href="http://twitter.com/saramagliacane">@saramagliacane</a> - email:<a href="mailto:s.magliacane@vu.nl">s.magliacane@vu.nl</a> </li> </ul> </p> <!-- <p> The developers are: <ul> <li>Tom De Nies <img src="http://1.gravatar.com/avatar/b0c9b58209f457f85e5b2a2249f30320" alt="" /> </li> </ul> </p> --> </div> </div> <script src="js/bootstrap.js"></script> <script> function updateURLInputBox(val){ document.getElementById("the-url-input").value = val; } $('.dropdown-toggle').dropdown() </script> </body> </html>