Commit 5e095316 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix typo.

parent b8d1504c
......@@ -102,7 +102,7 @@ body {
}
#why3-main-panel.why3-wide-view {
flex-direction:raw;
flex-direction:row;
}
#why3-main-panel.why3-column-view {
flex-direction:column;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment