Skip to content
#

hint

Here are 68 public repositories matching this topic...

Kristinita
Kristinita commented Mar 3, 2019

1. Summary

It would be nice, if HTMLHint documentation will contain arguments, why HTMLHint users must use specific rules.

2. Argumentation

“Must” in The script tag can not be used in head., Id and class value must meet some rules: underline, dash, hump. is not argument. The documentation does not show the reasons. Users should know “Why must”?

3. Example of expected behavior

andreasabel
andreasabel commented Apr 15, 2020

I could not find any instructions how to uninstall hint-man. Please add them to the README.

hint-man was (is?) running on my organization https://github.com/agda/ after someone installed it there, but weirdly, it was not showing to me under Settings/Installed Apps. Thus, I could not delete it, even though I have the "Github App manager" capabilities.
After I installed it myself on this organi

Improve this page

Add a description, image, and links to the hint topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the hint topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.