diff options
| author | wei <> | 2006-07-10 01:03:05 +0000 |
|---|---|---|
| committer | wei <> | 2006-07-10 01:03:05 +0000 |
| commit | c0aeb59489d638d43eb19ff044ea12c54c998b6a (patch) | |
| tree | c07ed38ce8809406a9b547770de4127538d93163 /.gitattributes | |
| parent | 79611edbd514621fa5cf61c92556f94ed5d203dc (diff) | |
Update tex builder.
Diffstat (limited to '.gitattributes')
| -rw-r--r-- | .gitattributes | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes index 2aa141cc..27b9374e 100644 --- a/.gitattributes +++ b/.gitattributes @@ -587,6 +587,7 @@ buildscripts/phing/tasks/XmlLintTask.php -text buildscripts/phing/tasks/ZendCodeAnalyzerTask.php -text buildscripts/phpbuilder/build.php -text buildscripts/setup.php -text +buildscripts/texbuilder/Page2Tex.php -text buildscripts/texbuilder/build.php -text buildscripts/texbuilder/pages.php -text buildscripts/texbuilder/quickstart.tex -text |