Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
v0.22.0
0dfe52d9
·
server: Document `diconnect`'s idempotency requirement
·
Dec 28, 2024
v0.21.0
828b2467
·
server: Close websocket on error
·
Dec 27, 2024
v0.20.0
1bf05a9e
·
Revert
7f9815e8
(client side can't pick up an env var
🤦♂️
)
·
Dec 24, 2024
v0.19.0
ad542d20
·
client: Make home page tiles regular links
·
Dec 24, 2024
v0.18.0
7840c87e
·
client: Disable indexing by search engines
·
Dec 24, 2024
v0.17.0
09af25f3
·
server: Limit total number of instances
·
Dec 22, 2024
v0.16.0
3c86c99d
·
build: Remove unused dependency
·
Dec 20, 2024
submission
protected
df982193
·
tests: Move most static functions to companion object
·
Dec 12, 2024
v0.15.0
4d43a34e
·
client: Clean up TextClientAppInstance implementation
·
Dec 10, 2024
v0.14.0
75fc205d
·
Move PatchableUI to IncrementalUI.scala and change...
·
Dec 10, 2024
v0.13.0
a85dbad5
·
server: Remove Tick event encoder
·
Dec 08, 2024
v0.12.0
c8be608f
·
server: Synchronize accesses to the `sessions` map
·
Dec 05, 2024
v0.11.0
3e0dd930
·
client: Clean up implementation of Pause action and fix double wait
·
Nov 30, 2024
v0.10.0
8970451f
·
Merge branch 'dv/fix' into 'main'
·
Nov 27, 2024
proposal
protected
c59d6a2f
·
Merge branch 'kfk/README' into 'main'
·
Nov 13, 2024
v0.8.0
6c5ce954
·
Attribute EFF wordlist in LICENSE
·
Nov 13, 2024
Replace instance ids with actual words
v0.7.0
6016d73f
·
Tweak display of buttons
·
Nov 13, 2024
v0.6.0
ef82d5bd
·
css: Add a CSS variable with a good list of emoji font
·
Nov 13, 2024
v0.5.0
9db82a04
·
Remove unused name appCross
·
Nov 13, 2024
v0.4.0
55966448
·
Merge branch 'dv/shared-directory' into 'main'
·
Nov 12, 2024
Restructure project
Prev
1
2
Next