Mercurial > hg > extraction-interface

annotate develop/views/maintemplate.php @ 39:8347776a44fc extractapp

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
embedded topic, taglist,book metadata in file
author Zoe Hong <zhong@mpiwg-berlin.mpg.de
date Sun, 08 Mar 2015 22:28:21 +0100
parents 893ed33c2bd4
children b3ca5d2b4d3f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
37
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
1 <html>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
2 <head>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
3 <title></title>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
4
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
5 <script src="../js/jquery-1.10.2.min.js"></script>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
6 <script src="../js/jquery-ui.js"></script>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
7 <script src="../js/taggingtext.js"></script>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
8
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
9 <!-- Bootstrap -->
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
10 <!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
11 <!--
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
12 <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.2/jquery.min.js"></script>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
13
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
14 <link href="../css/bootstrap.min.css" rel="stylesheet">
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
15 <script src="../js/bootstrap.min.js"></script>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
16 <script src="../js/bootstrap.js"></script>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
17 -->
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
18
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
19 </head>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
20 <body>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
21
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
22
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
23 </body>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
24
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
25 </html>