Merge branch 'master' into jgrpp

# Conflicts:
#	CMakeLists.txt
#	src/bootstrap_gui.cpp
This commit is contained in:
Jonathan G Rennison
2020-12-07 17:56:44 +00:00
19 changed files with 94 additions and 34 deletions

View File

@@ -829,7 +829,7 @@
<tr>
<td align=left><tt>4</tt>&nbsp; </td>
<td>on snow with rough land underneed</td>
<td>on snow with rough land underneath</td>
</tr>
</table>
</li>