History for web-header / .jshintrc
2017-05-10
@parentin
Replace almost all img by font icons, add new link to istex web extension home, big clean up and refactoring, add jshint config, change gitingore config
parentin committed on 10 May 2017