summaryrefslogtreecommitdiffhomepage
path: root/.gitignore
diff options
context:
space:
mode:
authorCarl Baldwin <carl@ecbaldwin.net>2019-10-11 14:25:08 -0600
committerCarl Baldwin <carl@ecbaldwin.net>2019-10-11 17:28:15 -0600
commitea87564b5b5d332ab48b6619c4a365559111e2c9 (patch)
tree5244bb4503ee2d299ef4930957472690edbb5c3e /.gitignore
parent1c8da637d4d730b268becb6b87efadc5c0872f53 (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