index e0fb2948043af507b0823e5e0471ac02b34b30e7..0431f399d70b0da51d960aa09f1b202cdb62bc2f 100644 (file)
(*
A. V. Shiryaev, 2012.11
- Linux
+ GNU/Linux
i386
*)