[][src]Constant nginx::NID_sect193r1

pub const NID_sect193r1: u32 = 724;