2017-10-13 | Jean-Philippe Orsini | too much log | blob | commitdiff |
2017-10-13 | Jean-Philippe Orsini | Merge branch 'master' of ssh://wpitchoune.net/srv/git... | blob | commitdiff | diff to current |
2017-10-12 | Jean-Philippe Orsini | various fixes | blob | commitdiff | diff to current |
2017-10-12 | Jean-Philippe Orsini | compat jdk7 | blob | commitdiff | diff to current |
2017-10-12 | Jean-Philippe Orsini | updated | blob | commitdiff | diff to current |