-
Anton Shestakov <av6@dwimlabs.net>, Sun, 05 Nov 2017 20:26:55 +0800
index: indent debug JSON
-
Anton Shestakov <av6@dwimlabs.net>, Sun, 05 Nov 2017 20:16:29 +0800
index: use "gradient" theme because pressed buttons have more contrast
-
Anton Shestakov <av6@dwimlabs.net>, Sun, 05 Nov 2017 19:30:53 +0800
pipelines: test `make libs`
-
Anton Shestakov <av6@dwimlabs.net>, Sun, 05 Nov 2017 19:28:43 +0800
index: tooltips for toggles
-
Anton Shestakov <av6@dwimlabs.net>, Sun, 05 Nov 2017 19:18:33 +0800
player: compare xhr.status to a number using !==
-
Anton Shestakov <av6@dwimlabs.net>, Sun, 05 Nov 2017 19:15:27 +0800
index: use local /libs/, jQuery 3.2.1 and UIkit 2.27.4
-
Anton Shestakov <av6@dwimlabs.net>, Sun, 05 Nov 2017 19:14:26 +0800
makefile: get 3rd-party client dependencies using just wget and tar
-
Anton Shestakov <av6@dwimlabs.net>, Sat, 22 Oct 2016 20:22:42 +0800
Added tag 0.5 for changeset f6d69f193b52
-
Anton Shestakov <av6@dwimlabs.net>, Sat, 22 Oct 2016 20:19:32 +0800
index: player depends on ui and libgme, but the latter is more important
-
Anton Shestakov <av6@dwimlabs.net>, Sat, 22 Oct 2016 20:15:25 +0800
player: refuse to play if there's already a script processor node active