Branch: refs/heads/master
Home: https://github.com/jenkins-infra/jenkins.io
Commit: 1f530c8b73dd423c0576f59103b95e7038cd19a1
https://github.com/jenkins-infra/jenkins.io/commit/1f530c8b73dd423c0576f59103b95e7038cd19a1
Author: Gavin Mogan <g...@gavinmogan.com>
Date: 2019-12-24 (Tue, 24 Dec 2019)
Changed paths:
M content/css/jenkins.css
Log Message:
-----------
Remove some dead old css which isn't actually used
Commit: d1a5e16644d582b3af9d0691b04188680e1ef1f0
https://github.com/jenkins-infra/jenkins.io/commit/d1a5e16644d582b3af9d0691b04188680e1ef1f0
Author: Mark Waite <mark.earl.wa...@gmail.com>
Date: 2019-12-25 (Wed, 25 Dec 2019)
Changed paths:
M content/css/jenkins.css
Log Message:
-----------
Merge pull request #2731 from halkeye/fix-css
Remove some dead old css which isn't actually used
Compare:
https://github.com/jenkins-infra/jenkins.io/compare/fe7c32a6ba6d...d1a5e16644d5
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to jenkinsci-commits+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-commits/jenkins-infra/jenkins.io/push/refs/heads/master/fe7c32-d1a5e1%40github.com.
