datatracker/ietf/static
Lars Eggert 53a90a38ce
fix: Don't disable mouse hover UI functionality on touch screens (#5433)
Because devices can have both touch and mouse input.
2023-03-28 12:16:04 +09:00
..
css chore: Remove empty file (#5374) 2023-03-20 10:11:50 -05:00
images chore: Remove unused arrow-ani.webp (#5386) 2023-03-26 14:15:39 +09:00
js fix: Don't disable mouse hover UI functionality on touch screens (#5433) 2023-03-28 12:16:04 +09:00
.gitignore More fixes 2021-12-08 08:55:45 +00:00