1
0
Fork 0
tinmop/src/gui
cage 786775f106 - added 'iri:iri=';
- jumping to the corresponding feature when typing in the adderss bar a special iri (e.g. 'about:bookmark').
2023-05-08 20:34:39 +02:00
..
client - added 'iri:iri='; 2023-05-08 20:34:39 +02:00
server - [GUI] added button to subscribe (and unsubscribe) to a gemlog. 2023-05-07 12:21:41 +02:00