| http://www.w3.org/ns/prov#value | - Now with my new International keyboard, the layout is very different, missing accents and other special character (which is ok since I use that keyboard only for development on my mac) but I am facing the issue that I need to type in the tilde character very often, and I do not have any clue on how to type it in in a simple way.
|
