Skip to content

Commit

Permalink
Add python script to generate index-instructions (#1241)
Browse files Browse the repository at this point in the history 
The index-instructions table is particularly annoying to update, since
and it requires the tables to line up properly, so it always creates
merge conflicts. This CL adds a Python script that generates it instead.
  • Loading branch information
@binji
binji committed Aug 31, 2020
1 parent b2f7ea1 commit 7ee2139
Show file tree
Hide file tree
Showing 2 changed files with 502 additions and 209 deletions.
Loading

0 comments on commit 7ee2139

Please sign in to comment.