diff options
| author | David Brownell <dbrownell@users.sourceforge.net> | 2010-01-08 17:20:47 -0800 |
|---|---|---|
| committer | David Brownell <dbrownell@users.sourceforge.net> | 2010-01-08 17:20:47 -0800 |
| commit | c1cb20971ea89e4602bb23ba66180d647880bbef (patch) | |
| tree | 54759a26b900460590b019fd7b4b6a7cf14e20dd /tools | |
| parent | 296a011db5833b8a3258a058e6a805cc5ddb2bfe (diff) | |
Coexist with quilt: rename PATCHES --> PATCHES.txt
The issues is on Win32, which ignores case in filesystem
and thus doesn't tolerate the quilt "patches" directory.
Rename, and add "patches" to .gitignore so that developers
can choose to use quilt for local patch management.
Signed-off-by: David Brownell <dbrownell@users.sourceforge.net>
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/release.sh b/tools/release.sh index c464c49f..12dfdb6a 100755 --- a/tools/release.sh +++ b/tools/release.sh @@ -205,7 +205,7 @@ For older NEWS, see the NEWS files associated with each release For more information about contributing test reports, bug fixes, or new features and device support, please read the new Developer Manual (or -the BUGS and PATCHES files in the source archive). +the BUGS and PATCHES.txt files in the source archive). NEWS git add NEWS |