Instead of being an idiot, let's ignore devpts
Instead of being an idiot, let's ignore devpts

smaslennikov/smaslennikov.github.io,smaslennikov/smaslennikov.github.io,smaslennikov/smaslennikov.github.io