diff options
Diffstat (limited to 'gas/README-quirks')
| -rw-r--r-- | gas/README-quirks | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gas/README-quirks b/gas/README-quirks new file mode 100644 index 0000000000..137621d9ee --- /dev/null +++ b/gas/README-quirks @@ -0,0 +1,11 @@ +* rcsid's should be conspicuously absent until someone explains to me + how to use them constructively without affecting diffs from remote + sites. If you can, then I will become an active supporter of + rcsid's. + +* "diff -u" patches preferred. "diff -c" patches accepted. All other + patches will be returned. + +* all files have been formatted with indent-region based on + gas-format.el. Please adhere to to it. Indent profiles that closely + coincide will be gleefully accepted. |
