##// END OF EJS Templates
Merge pull request #7070 from rgbkrk/pin_less_docker...
Merge pull request #7070 from rgbkrk/pin_less_docker Pin the version of less used in the Dockerfile
Matthias Bussonnier -
r19118:9b0db4ee merge
Show More