diff options
author | Javier Viguera <javier.viguera@digi.com> | 2010-12-17 14:19:34 +0100 |
---|---|---|
committer | Javier Viguera <javier.viguera@digi.com> | 2011-01-04 21:29:43 +0100 |
commit | dc7b80ff6c1b90e996f4e80f34da11cf90cf8898 (patch) | |
tree | 65489bda9fbf1de3ac945b82210f2d9d79930adc /Documentation | |
parent | 06242c17d23d72f7e788d86045a30f1eacfc2b0f (diff) |
doc: remove dummy file
This file was added just to create a dummy commit to tag. Not needed
anymore.
Signed-off-by: Javier Viguera <javier.viguera@digi.com>
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/dummy | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Documentation/dummy b/Documentation/dummy deleted file mode 100644 index 4bcfe98e640c..000000000000 --- a/Documentation/dummy +++ /dev/null @@ -1 +0,0 @@ -d |