diff options
Diffstat (limited to 'docs/tutorials/015/page12.html')
| -rw-r--r-- | docs/tutorials/015/page12.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/tutorials/015/page12.html b/docs/tutorials/015/page12.html index 93358494a85..3847fa296b3 100644 --- a/docs/tutorials/015/page12.html +++ b/docs/tutorials/015/page12.html @@ -1,3 +1,4 @@ +<!-- $Id$ --> <HTML> <HEAD> <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1"> |