equal
deleted
inserted
replaced
42 |
42 |
43 HTML.text("Database with recent ") ::: |
43 HTML.text("Database with recent ") ::: |
44 List(HTML.link(BUILD_LOG_DB, HTML.text("build log"))) ::: |
44 List(HTML.link(BUILD_LOG_DB, HTML.text("build log"))) ::: |
45 HTML.text(" information (e.g. for ") ::: |
45 HTML.text(" information (e.g. for ") ::: |
46 List(HTML.link("http://sqlitebrowser.org", |
46 List(HTML.link("http://sqlitebrowser.org", |
47 List(HTML.code(HTML.text("sqlitebrowser")))))))))) |
47 List(HTML.code(HTML.text("sqlitebrowser"))))) ::: |
|
48 HTML.text(")")))))) |
48 } |
49 } |
49 |
50 |
50 |
51 |
51 /* release snapshot */ |
52 /* release snapshot */ |
52 |
53 |