diff options
author | Carl Baldwin <carl@ecbaldwin.net> | 2019-10-11 14:25:08 -0600 |
---|---|---|
committer | Carl Baldwin <carl@ecbaldwin.net> | 2019-10-11 17:28:15 -0600 |
commit | ea87564b5b5d332ab48b6619c4a365559111e2c9 (patch) | |
tree | 5244bb4503ee2d299ef4930957472690edbb5c3e /.gitignore | |
parent | 1c8da637d4d730b268becb6b87efadc5c0872f53 (diff) |
Remove policy from FSM
The `policy` member of fsm is apparently never used. Clean it up to
avoid confusion. Policy is still set on the server and peers.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions