diff options
| author | wei <> | 2006-01-21 23:16:33 +0000 |
|---|---|---|
| committer | wei <> | 2006-01-21 23:16:33 +0000 |
| commit | e8e20e87941ae992afd49f2d70198b0e7437d58e (patch) | |
| tree | beb52f266c42a9e570e926a5cb095879b8ccd2c1 /.gitattributes | |
| parent | f57725d738e0503c2238c9874761c70d2dd5b18d (diff) | |
Add quickstart PDF format.
Diffstat (limited to '.gitattributes')
| -rw-r--r-- | .gitattributes | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes index bf3c2897..70a4a86e 100644 --- a/.gitattributes +++ b/.gitattributes @@ -875,3 +875,6 @@ tools/jsbuilder/custom_rhino.jar -text tools/jsbuilder/packer.js -text tools/phpbuilder/build.php -text tools/phpbuilder/files.txt -text +tools/texbuilder/build.php -text +tools/texbuilder/prado3_quick_start.pdf -text svneol=unset#unset +tools/texbuilder/prado3_quick_start.tex -text |