| author | Svjatoslav Agejenko <svjatoslav@svjatoslav.eu> | |
| Fri, 18 Jan 2019 23:45:56 +0000 (01:45 +0200) | ||
| committer | Svjatoslav Agejenko <svjatoslav@svjatoslav.eu> | |
| Fri, 18 Jan 2019 23:45:56 +0000 (01:45 +0200) | ||
| commit | ead12f9a7396ee3a29fb97205924bafe8a33d47d | |
| tree | 411d9c6a0c6569787574e9b481b546d1b4306653 | tree | snapshot |
| parent | 0e4ab945701fc17d6d37fe09800adaa9037b07dd | commit | diff |
| .gitignore | diff | blob | history | |
| doc/index.html | diff | blob | history | |
| doc/index.org | diff | blob | history | |
| pom.xml | diff | blob | history | |
| tools/update web site | diff | blob | history |