| Mode | Name | Size | |
|---|---|---|---|
| d--------- | html5-schema | 1064 | logplain |
| -rwxr-xr-x | html5charref.rb | 1213 | logplain |
| d--------- | patches | 732 | logplain |
| -rw-r--r-- | relaxng.rng | 24001 | logplain |
| -rwxr-xr-x | update_html5_schema.sh | 1052 | logplain |
 |
index : tools/idea.git | |
| summaryrefslogtreecommitdiff |