如何在KDE下设置某个网段不用代理

WhiteBear

我们学校外网需要用代理。但是校网资源(10.*)则可以直接使用。我希望对所有10开头的地址都不使用代理，但是在KDE的网络设置中无论是写10.*还是10.0.0.0/255.0.0.0都不能实现。到底应该写什么东西进去呢？