garrynewman/garrysmod — pull request #730 by mitterdoo (2014-06-16 21:53:49+00:00)
Title: Made 'tool.pulley.3' different from 'tool.pulley.0'

It can get a bit confusing for some people so I changed it.