PR #1123 Handle signals properly on Windows

Handle signals properly on Windows #1123

DannyDaemonic merged 1 commit into ggml-org:master from DannyDaemonic:windows-signals

DannyDaemonic force pushed 3 years ago

Handle signals properly on Windows

db060412

DannyDaemonic force pushed to db060412 3 years ago

ggerganov approved these changes on 2023-05-02

DannyDaemonic merged 13b0c68e into master 3 years ago

DannyDaemonic deleted the windows-signals branch 3 years ago

Reviewers

ggerganov

Assignees

No one assigned

Labels

None yet

Milestone

No milestone