zPlus
|
d3cd1d5
|
Set default content for robots.txt
|
4 months ago
|
1
|
+5/-1
|
zPlus
|
b7a2011
|
Add route for robots.txt
|
5 months ago
|
1
|
+4/-3
|
zPlus
|
39dd63b
|
Change location of library txt files.
|
5 months ago
|
1
|
+1/-1
|
zPlus
|
a2024a5
|
Add library filters.
Add filters for searching the library.
|
5 months ago
|
2
|
+120/-38
|
zPlus
|
69bf847
|
Adapt manpages to new graph.
The graph for manpages has changed. This commit changes all the queries
for the new graph.
|
5 months ago
|
8
|
+143/-102
|
zPlus
|
d0da939
|
Change default address of Fuseki endpoint.
|
5 months ago
|
1
|
+1/-1
|
zPlus
|
9f6cab4
|
Use Fuseki default port (3030).
|
5 months ago
|
1
|
+1/-1
|
zPlus
|
cf9a33a
|
Add basic configuration for Fuseki.
|
5 months ago
|
3
|
+104/-3
|
zPlus
|
f8930ea
|
Add default-graph-uri=urn:x-arq:UnionGraph to endpoint URL.
The graph has been split into multiple datasets for manageability. In
Fuseki it's not currently possible to configure it in a way to execute
queries over the union of multiple datasets by default. The only viable
options are:
- add ?default-graph-uri=urn:x-arq:UnionGraph to the endpoint URL, or
- query the special graph "SELECT .. FROM <urn:x-arq:UnionGraph>"
|
5 months ago
|
1
|
+1/-1
|
zPlus
|
07d3715
|
Show plaintext by default.
|
6 months ago
|
1
|
+1/-1
|
zPlus
|
6cbc4da
|
Add OPDS link in library page.
|
6 months ago
|
2
|
+5/-1
|
zPlus
|
4cba382
|
Add covers to OPDS feeds.
|
7 months ago
|
2
|
+2/-0
|
zPlus
|
f981b7a
|
Add support for OPDS.
|
7 months ago
|
4
|
+210/-0
|
zPlus
|
089aa59
|
Add plaintext view to library page.
|
7 months ago
|
2
|
+12/-8
|
zPlus
|
95d6a37
|
Add link to documentation in homepage.
|
8 months ago
|
1
|
+1/-0
|
zPlus
|
5b6e0ba
|
Merge articles.
These were in a separate repository.
|
9 months ago
|
53
|
+1571/-601
|
zPlus
|
94c690e
|
Add README.
|
9 months ago
|
1
|
+10/-0
|
zPlus
|
fd076d6
|
Add Python Bottle app.
|
9 months ago
|
25
|
+4063/-39
|
zPlus
|
5396a98
|
Remove graph.
|
1 year ago
|
4
|
+19/-238
|
zPlus
|
aee2c84
|
Change edges color.
Make edges color darker in order to make them more visible.
|
1 year ago
|
1
|
+18/-18
|