added codesharing link to dev box

Edirom · Nov 3, 2014 · 77504b9 · 77504b9
1 parent ffbc538
commit 77504b9
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -7,3 +7,4 @@ resources/pix/upb-logo.png
 resources/pix/stabi-logo.png
 resources/pix/hfm-logo.png
 resources/pix/adwMainz.png
+bower_components/
diff --git a/modules/xho.xqm b/modules/xho.xqm
@@ -544,5 +544,7 @@ declare function xho:printDevelopmentLinks($lang as xs:string) as element(xhtml:
             </xhtml:form>
             <xhtml:h2>Commit Status</xhtml:h2>
             <xhtml:p><xhtml:a href="{core:join-path-elements(($baseHref, 'logs', $ant-log('rev') || '.log'))}" title="komplettes logfile ansehen">Revision {$ant-log('rev')}: </xhtml:a> <xhtml:img src="{core:join-path-elements(($baseHref, $html_pixDir, $ant-log('success') || '.gif'))}" alt="success-icon" style="margin-bottom:-5px;"/></xhtml:p>
+            <xhtml:h2>Codesharing</xhtml:h2>
+            <xhtml:p><xhtml:a href="{core:join-path-elements(($baseHref,'apps/codesharing/index.htm'))}" title="TEI CodeSharing service by Martin Holmes">Codesharing WeGA-data</xhtml:a></xhtml:p>
         </xhtml:div>
 };