Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix Windows drive letter handling in the file slash state #343

Merged
merged 5 commits into from Sep 18, 2017
Merged

Fix Windows drive letter handling in the file slash state #343

Changes from 1 commit
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
e145270
Add term "string starts with Windows drive letter"
rmisev Sep 11, 2017
7652071
Use term "starts with Windows drive letter" in the file state
rmisev Sep 11, 2017
1ee0d39
Fix Windows drive letter handling in the file slash state
rmisev Sep 11, 2017
74706a2
feedback
rmisev Sep 12, 2017
32aa25e
s/the /its /
rmisev Sep 18, 2017
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
2 changes: 1 addition & 1 deletion url.bs
View file
Open in desktop
Expand Up @@ -1075,7 +1075,7 @@ if all of the following are true:
<ul class=brief>
<li>its <a for=string>length</a> is greater than or equal to 2
<li>its first two code points are a <a>Windows drive letter</a>
<li>its <a for=string>length</a> is 2 or the third code point is U+002F (/), U+005C (\),
<li>its <a for=string>length</a> is 2 or its third code point is U+002F (/), U+005C (\),
U+003F (?), or U+0023 (#).
</ul>

Expand Down