diff options
author | notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty <notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-02-24 13:32:57 +0000 |
---|---|---|
committer | notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty <notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-02-24 13:32:57 +0000 |
commit | f04f5ec69eed626de5fc7af859942f2ebbef3975 (patch) | |
tree | a202441b78e86549f731cb8a6a9f8367c7b8d917 /doc/refman/Omega.tex | |
parent | b331ef3776503eb48c471c14b53d671beea60fc9 (diff) |
Modification des propriétés des fichiers .tex (svn:executable)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8609 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/refman/Omega.tex')
-rw-r--r--[-rwxr-xr-x] | doc/refman/Omega.tex | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/refman/Omega.tex b/doc/refman/Omega.tex index bbf17f630..bbf17f630 100755..100644 --- a/doc/refman/Omega.tex +++ b/doc/refman/Omega.tex |