diff options
| author | Andreas Rumpf <andreas@andi> | 2008-06-22 16:14:11 +0200 |
|---|---|---|
| committer | Andreas Rumpf <andreas@andi> | 2008-06-22 16:14:11 +0200 |
| commit | 405b86068e6a3d39970b9129ceec0a9108464b28 (patch) | |
| tree | c0449946f54baae6ea88baf453157ddd7faa8f86 /doc/html/empty.txt | |
| download | Nim-405b86068e6a3d39970b9129ceec0a9108464b28.tar.gz | |
Initial import
Diffstat (limited to 'doc/html/empty.txt')
| -rwxr-xr-x | doc/html/empty.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/html/empty.txt b/doc/html/empty.txt new file mode 100755 index 000000000..20f9a91e3 --- /dev/null +++ b/doc/html/empty.txt @@ -0,0 +1 @@ +This file keeps several tools from deleting this subdirectory. |