Fix typo in if/proc_mgmt.if
authorRazvan Damachi <razvan.damachi@gmail.com>
Sun, 20 Aug 2017 18:22:28 +0000 (20:22 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 31 Aug 2017 14:35:10 +0000 (16:35 +0200)
commit7ddb3bce95f4566a49b63fab0e0fc58a6f24f861
tree7f0c5e3276f24c0fa0d39fa5ea0a40cba0c082b7
parentecf0b8e81ec285f7711916a694bbba51d909f141
Fix typo in if/proc_mgmt.if

Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>
if/proc_mgmt.if