Add link to "pier" to glossary json
The "pier" article was added in https://github.com/urbit/docs/pull/946 - this adds the link to it to the main glossary page
commit40165fb71a9f8ad4a0560ef5bfc23f46cfb179aa
authorlycurgus <lycurgus@users.noreply.github.com>
dateTue 15 Sep 2020, 10:55 (6 years ago)
parent77a5984
static/glossary.js+7
@@ -1317,6 +1317,13 @@ var glossary = [
13171317 "link": "/docs/glossary/ph/",
13181318 "desc": "A Gall app that is a framework for fleet testing using Aqua."
13191319 },
1320+ {
1321+ "name": "pier",
1322+ "symbol": "",
1323+ "usage": "arvo",
1324+ "link": "/docs/glossary/pier/",
1325+ "desc": "The stored state of an Urbit ship on disk."
1326+ },
13201327 {
13211328 "name": "pill",
13221329 "symbol": "",