|
dune
|
rename Irc_msg to Irc.Msg
|
2024-01-07 16:29:12 -05:00 |
|
irc.ml
|
beefed up Irc.Msg.prefix
|
2024-01-07 18:51:26 -05:00 |
|
mode.ml
|
new improved Irc.Mode.t utility
|
2024-01-10 19:13:15 -05:00 |
|
mode.mli
|
new improved Irc.Mode.t utility
|
2024-01-10 19:13:15 -05:00 |
|
msg.ml
|
basic nick/channel name validation
|
2024-01-09 20:32:36 -05:00 |
|
msg.mli
|
basic nick/channel name validation
|
2024-01-09 20:32:36 -05:00 |
|
types.ml
|
basic nick/channel name validation
|
2024-01-09 20:32:36 -05:00 |
