search

Bram-Hub / aris

Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.
https://aris.bram-hub.com
GNU General Public License v3.0
9 stars 1 forks source link

Remove www from url in CNAME file #77

Closed elihschiff closed 3 years ago

elihschiff commented 3 years ago

The CNAME file should not have www at the start. The subdomain is aris so there is no need. Then people can just go to https://aris.bram-hub.com to view the website. For example we have https://willow.bram-hub.com

Also make sure you switch the github pages url to remove the www. I cannot do that with a PR

After that it should just work