diff options
Diffstat (limited to 'rev.txt')
| -rw-r--r-- | rev.txt | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/rev.txt b/rev.txt deleted file mode 100644 index d73edd83..00000000 --- a/rev.txt +++ /dev/null @@ -1,10 +0,0 @@ -Dear reviewers, - -please check my changes for issue #2711: - - - improved documentation for custom decider function - -Regards, - -Dirk - |