From f04bc10247e937f85f4659ad5f44fcd54f2a5140 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Wed, 16 May 2018 23:37:08 -0500 Subject: [PATCH] add a small toc --- Windows.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Windows.md b/Windows.md index 72dfc65..2a14d5c 100644 --- a/Windows.md +++ b/Windows.md @@ -1,5 +1,10 @@ +This wiki page contains information about how to use deal.II on the + - [Linux subsystem for Windows 10](#using-dealii-with-the-linux-subsystem-windows-10-64bit-only) + - [Using deal.II on native Windows](#using-dealii-on-native-windows) + # Using deal.II with the Linux subsystem (Windows 10 64bit only) + Windows 10 has gained a compatibility layer for running Linux binaries natively on Windows. You can find more information on the [Wikipedia page](https://en.wikipedia.org/wiki/Windows_Subsystem_for_Linux). -- 2.20.1