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

documentation: headers in the html should have ids so that they can be jumped to #177

Closed
mikedanese opened this issue May 13, 2016 · 2 comments
Closed

documentation: headers in the html should have ids so that they can be jumped to #177

mikedanese opened this issue May 13, 2016 · 2 comments
Labels
bug documentation

Comments

@mikedanese
Copy link
Contributor

It would be nice to send someone a url:

http://jsonnet.org/language/spec.html#Desugaring

but this doesn't work right now
@sparkprime
Copy link
Contributor

Yeah I'll do that

@sparkprime
Copy link
Contributor

Took me a while but I did it ;)

This was referenced Nov 20, 2023
Open
Open
sbarzowski added a commit to sbarzowski/jsonnet that referenced this issue Jun 10, 2024
@sbarzowski @sparkprime
Oldest version known to work = Go 1.8, closes google#177
d6623a9 
It seems like it was broken on older compilers
since pregenerated stdlib AST.

It adds go 1.8.x to travis, so that we have a chance
of catching when our "known to work" no longer holds.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug documentation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@sparkprime @mikedanese