chiark / gitweb /
otter.git
2020-08-23 Ian Jacksonfix
2020-08-23 Ian Jacksonregex
2020-08-23 Ian Jacksonfixed
2020-08-23 Ian Jacksontable size propagates
2020-08-23 Ian Jacksonsome todos
2020-08-23 Ian Jacksonnot critical now
2020-08-23 Ian Jacksondone
2020-08-23 Ian Jacksonno, don't use cs.desc
2020-08-23 Ian Jacksonfix
2020-08-23 Ian Jacksonthese are fine
2020-08-23 Ian JacksonRevert "for revert - error_display - can just use ...
2020-08-23 Ian Jacksonfor revert - error_display - can just use {:?}
2020-08-23 Ian Jacksonnicer import
2020-08-23 Ian Jacksonfix error and default and socket and things
2020-08-23 Ian Jacksonconfig read in global
2020-08-23 Ian Jacksonwip config
2020-08-23 Ian Jacksonnew config defaulting
2020-08-23 Ian Jacksonfix
2020-08-23 Ian Jacksondone
2020-08-23 Ian Jacksondupe nick handling
2020-08-23 Ian Jacksonwip player fix
2020-08-23 Ian Jacksonvariable name coherency
2020-08-23 Ian Jacksonnote re fehler trouble
2020-08-23 Ian Jacksonsyntax
2020-08-23 Ian Jacksondone
2020-08-23 Ian Jacksongame save later
2020-08-23 Ian Jacksondone
2020-08-23 Ian Jacksoncommentary
2020-08-23 Ian Jacksontodo
2020-08-23 Ian Jacksontodo
2020-08-23 Ian Jacksonexpire old clients function
2020-08-23 Ian Jacksonfix
2020-08-23 Ian Jacksonfix
2020-08-23 Ian Jacksonfixed
2020-08-23 Ian Jacksonwip
2020-08-23 Ian Jacksonfixes
2020-08-22 Ian Jacksondrop libc
2020-08-22 Ian Jacksonuse nix Uid
2020-08-22 Ian Jacksonnix and fs2
2020-08-22 Ian Jacksonan xxx
2020-08-22 Ian Jacksonfixes
2020-08-22 Ian Jacksonfixes
2020-08-22 Ian Jacksonserver loads!
2020-08-22 Ian Jacksonswitch to results of otter reset
2020-08-22 Ian Jacksonget indices right
2020-08-22 Ian Jacksonsort keys for convenience
2020-08-22 Ian Jacksonsave game after executing
2020-08-22 Ian Jacksondo away with lexpr
2020-08-22 Ian Jacksonwip
2020-08-22 Ian Jacksonmore code motion
2020-08-22 Ian Jacksonmove several things into spec.rs
2020-08-22 Ian Jacksonreorg, code motion
2020-08-22 Ian Jacksonupdates: delete RECENT_BUFFER
2020-08-22 Ian Jacksonreorg
2020-08-22 Ian Jacksonwip pieces in demo game
2020-08-22 Ian Jacksondelete piece
2020-08-22 Ian Jacksonreset compiles
2020-08-22 Ian Jacksonconditional logs
2020-08-22 Ian Jacksoncleanup etc.
2020-08-22 Ian Jacksonthis parses
2020-08-22 Ian Jacksonthis parses, but want to rename
2020-08-22 Ian Jacksonthis parses, but want to flatten
2020-08-22 Ian Jacksonmsgpack-dump
2020-08-22 Ian Jacksonrationalise command enums
2020-08-22 Ian Jacksonalter game create table
2020-08-22 Ian Jacksonwip otter create table
2020-08-21 Ian JacksonRevert "for revert: invent ServerOperatorPrivilege"
2020-08-21 Ian Jacksonfor revert: invent ServerOperatorPrivilege
2020-08-15 Ian Jacksonsetscope stuff all working now
2020-08-15 Ian Jacksonrunes
2020-08-15 Ian Jacksonmuch EH
2020-08-15 Ian Jacksonwip server eh
2020-08-15 Ian Jacksonwip server config
2020-08-15 Ian Jacksonset scope
2020-08-15 Ian Jacksonwork around rustc message lossage
2020-08-14 Ian Jacksonrepro syn span thing before update
2020-08-13 Ian Jacksonmake compile
2020-08-13 Ian Jacksonbefore chase fehler span bug
2020-08-13 Ian Jacksonless weird closure stuff
2020-08-13 Ian Jacksonbefore subcommand as fn
2020-08-13 Ian Jacksontoml
2020-08-13 Ian Jacksonmgmtchannel dyn
2020-08-13 Ian Jacksondelete empty
2020-08-13 Ian Jacksonwip connect?
2020-08-13 Ian Jacksonwip mgmtchannel
2020-08-13 Ian Jacksonbefore into for mgmt errors
2020-08-13 Ian Jacksonwip mgmtchannel
2020-08-13 Ian Jacksonwip client
2020-08-10 Ian Jacksondelete old stuff
2020-08-10 Ian Jacksonparse args
2020-08-09 Ian Jacksonwip create table
2020-08-09 Ian Jacksonmain arguments
2020-08-09 Ian Jacksonfix errors
2020-08-09 Ian Jacksonwip new help
2020-08-09 Ian Jacksonwip help msg
2020-08-09 Ian Jacksongeneralise
2020-08-09 Ian Jacksonreorg, compiles
2020-08-09 Ian Jacksonreorg, compiles
2020-08-09 Ian Jacksonreorg, compiles
2020-08-09 Ian Jacksonmove, compiles
next