Jonas Platte 3ce578f384

identifiers: Make UserId a DST

2021-11-26 00:40:40 +01:00

..

condition

common: Make all pub enums non_exhaustive

2021-08-10 15:22:26 +02:00

action.rs

Update client-server spec links

2021-10-06 10:48:08 +02:00

condition.rs

identifiers: Make UserId a DST

2021-11-26 00:40:40 +01:00

iter.rs

common: Make all pub enums non_exhaustive

2021-08-10 15:22:26 +02:00

predefined.rs

Merge serde attributes and improve docs

2021-10-08 12:49:13 +02:00