|
database
|
refactor: replace DeviceId with str or String
|
2020-06-08 11:40:19 +02:00 |
|
client_server.rs
|
fix: use correct device in GET /devices
|
2020-06-08 14:23:42 +02:00 |
|
error.rs
|
Switch to the ruma meta-crate
|
2020-06-05 18:42:45 +02:00 |
|
main.rs
|
feat: kick,ban,unban user route
|
2020-06-04 16:51:36 +02:00 |
|
pdu.rs
|
improvement: optimize /sync response
|
2020-06-08 11:39:32 +02:00 |
|
ruma_wrapper.rs
|
Switch to the ruma meta-crate
|
2020-06-05 18:42:45 +02:00 |
|
server_server.rs
|
Switch to the ruma meta-crate
|
2020-06-05 18:42:45 +02:00 |
|
stateres.rs
|
work
|
2020-04-29 10:27:31 +02:00 |
|
utils.rs
|
Switch to the ruma meta-crate
|
2020-06-05 18:42:45 +02:00 |
