diff --git a/Docs/projects.html b/Docs/projects.html index 3307662e76..d0fe23ae8f 100644 --- a/Docs/projects.html +++ b/Docs/projects.html @@ -439,8 +439,10 @@ immediately, independent of the major goals. entry, or by date of clearing. Or sort alphabetically. Also, filter, i.e. show only those entries of a particular type ...
- - +