BranchCommit messageAuthorAge
masterdecode the URI anchorArmaël Guéneau3 years
AgeCommit messageAuthorFilesLines
2020-11-02decode the URI anchorHEADmasterArmaël Guéneau2-6/+7
2020-11-02Use the hash property and avoid uri parsingArmaël Guéneau2-10/+14
2020-11-02Keep the URL in sync with the current searchArmaël Guéneau1-1/+4
2020-11-02Implement #foo (anchors) in the url as the predefined search queryArmaël Guéneau2-1/+8
2020-11-02.gitignoreArmaël Guéneau1-0/+3
2020-11-02Upgrade to dune and containers (batteries stopped being jsoo friendly?)Armaël Guéneau5-28/+29
2020-11-02update wrt deprecated stuffArmaël Guéneau4-19/+23
2017-07-11Improve READMEArmaël Guéneau1-0/+17
2017-07-11Add README.mdArmaël Guéneau1-0/+7
2016-09-26whitespace cleanupArmaël Guéneau1-5/+5