search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Add a redirection to have a nix-shell for mathcomp #166

Closed CohenCyril closed 3 years ago

CohenCyril commented 3 years ago

CC @Zimmi48

CohenCyril commented 3 years ago

Sorry I did a mistake and put your name in a commit log... I will rewrite it ASAP... EDIT: done

Zimmi48 commented 3 years ago

The only way to check that this works is to merge the PR. Just a question though (I don't know anything about Apache), why did you put R instead of R=301 like on the other lines? What is the difference? Or are these the same?

CohenCyril commented 3 years ago

[R] is [R=302] (HTTP code for moved temporarily) by default, while [R=301] is a moved permanently.

Zimmi48 commented 3 years ago

I see, thanks!