diff options
-rw-r--r-- | index.html | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -3,6 +3,7 @@ | |||
3 | <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"> | 3 | <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"> |
4 | <head> | 4 | <head> |
5 | <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> | 5 | <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> |
6 | <meta name="verify-v1" content="pZNmf5XyUUfAPdlSPbFSavMUsLgVsmBYOXzOhbIy2gw=" /> | ||
6 | <link rel="stylesheet" type="text/css" href="inc/format.css"/> | 7 | <link rel="stylesheet" type="text/css" href="inc/format.css"/> |
7 | <title>LITMUS RT: Linux Testbed for Multiprocessor Scheduling in Real-Time Systems</title> | 8 | <title>LITMUS RT: Linux Testbed for Multiprocessor Scheduling in Real-Time Systems</title> |
8 | </head> | 9 | </head> |