Thanks to visit codestin.com
Credit goes to github.com

Skip to content
This repository was archived by the owner on Aug 24, 2021. It is now read-only.

Conversation

@jfranklin9000
Copy link
Contributor

Work in progress. It will be complete in a day or two.

This also contains the #414 and #415 changes.

@rmariani
Copy link
Contributor

rmariani commented Mar 4, 2019

We're doing a restructuring of this (and other) sections of the docks, so I am going to put this on ice for now. The restructuring should be merged soon.

@rmariani
Copy link
Contributor

rmariani commented Mar 4, 2019

Reopening because the restructuring that I mentioning is going to be further down the line

@rmariani rmariani reopened this Mar 4, 2019
@jfranklin9000 jfranklin9000 force-pushed the alphabetical branch 2 times, most recently from 092dba7 to d745f37 Compare March 5, 2019 12:20
@jfranklin9000
Copy link
Contributor Author

I've finished adding all the arms. I can get rid of most of the tecs if urbit/arvo#1091 lands, and all of them if urbit/arvo#1096 lands.

@rmariani
Copy link
Contributor

rmariani commented Mar 7, 2019

I think the links should be in the scheme of (../library/4j/) rather than (/library/4j/)

@jfranklin9000
Copy link
Contributor Author

OK, I'll take a look. I guess it would be a good time to actually build all the docs locally and test..

@jfranklin9000
Copy link
Contributor Author

alphabetical-arms.udon is in the same directory as library/, not in library/, so it should actually be (./library/4j/) (or ../reference/library/4j/). I've changed it to (./library/4j/). Good catch.

If urbit/arvo#1096 lands I'll remove the tecs.

@rmariani
Copy link
Contributor

rmariani commented Mar 7, 2019

Looks good. Thanks for your hard work!

@rmariani rmariani merged commit 7288cb3 into urbit:master Mar 7, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants