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/RefMan-int.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/RefMan-int.tex')
| -rw-r--r--[-rwxr-xr-x] | doc/refman/RefMan-int.tex | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/refman/RefMan-int.tex b/doc/refman/RefMan-int.tex index b1f4b26b8..b1f4b26b8 100755..100644 --- a/doc/refman/RefMan-int.tex +++ b/doc/refman/RefMan-int.tex |