diff options
| author | Lars Thorsen <[email protected]> | 2017-09-25 15:15:37 +0200 |
|---|---|---|
| committer | Lars Thorsen <[email protected]> | 2017-09-28 12:09:29 +0200 |
| commit | 9395c7b4a2079349fdb881a1f537af5b73eacfd2 (patch) | |
| tree | 52cbb3478bc02f01610fed17aef8a98836ffae9b /lib/inets/doc/src/summary.html.src | |
| parent | bb94c48b5e43bb4673794ca83d00e2091750e707 (diff) | |
| download | otp-9395c7b4a2079349fdb881a1f537af5b73eacfd2.tar.gz otp-9395c7b4a2079349fdb881a1f537af5b73eacfd2.tar.bz2 otp-9395c7b4a2079349fdb881a1f537af5b73eacfd2.zip | |
Remove unused files from the documentation build
Diffstat (limited to 'lib/inets/doc/src/summary.html.src')
| -rw-r--r-- | lib/inets/doc/src/summary.html.src | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/inets/doc/src/summary.html.src b/lib/inets/doc/src/summary.html.src deleted file mode 100644 index 17637a0787..0000000000 --- a/lib/inets/doc/src/summary.html.src +++ /dev/null @@ -1 +0,0 @@ -A set of services such as a web server and a ftp client etc
\ No newline at end of file |