| commit | 4689e79664410a2420e52a249ce78cbad7c569b8 | [log] [tgz] |
|---|---|---|
| author | Marc Kupietz <kupietz@ids-mannheim.de> | Tue Sep 07 23:29:51 2021 +0200 |
| committer | Marc Kupietz <kupietz@ids-mannheim.de> | Wed Sep 08 14:49:28 2021 +0200 |
| tree | 51fb8680aee929ebd7578b2068f750e8030c6719 | |
| parent | b82939bf168f973b98ea6ba1e6a8d858b02525d7 [diff] [blame] |
Tutorial: rename "Data" to "Corpus Data" in navigation bar and headline Change-Id: I98a7ad482008972f73180529872dfaf656d33eae
diff --git a/templates/doc/navigation.json b/templates/doc/navigation.json index 3719190..a904c16 100644 --- a/templates/doc/navigation.json +++ b/templates/doc/navigation.json
@@ -84,7 +84,7 @@ ] }, { - "title": "Data", + "title": "Corpus Data", "id": "data", "class": "folded", "items": [