Consistent permissions in the stdlib

Give to Logic/Adjointification.v and Reals/Rtrigo_facts.v the same permissions as the other files in the stdlib (rw-r--r--).
Villetaneuse · Dec 9, 2023 · cbb5e46 · cbb5e46
1 parent e366e49
commit cbb5e46
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/theories/Logic/Adjointification.v b/theories/Logic/Adjointification.v
diff --git a/theories/Reals/Rtrigo_facts.v b/theories/Reals/Rtrigo_facts.v