You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jul 22, 2022. It is now read-only.
It is confusing to have both files there and not knowing which one to update when submitting a PR. What about a script that creates one out of the other and a simple note which one to edit?
The text was updated successfully, but these errors were encountered:
There are two css files because the two must both be maintained, one for userstyles.org and one for user css. Many other userstyles do this. If you would like to submit a contribution that does what you say, that would be very welcome!
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
It is confusing to have both files there and not knowing which one to update when submitting a PR. What about a script that creates one out of the other and a simple note which one to edit?
The text was updated successfully, but these errors were encountered: