diff options
Diffstat (limited to 'config/menu.json')
| -rw-r--r-- | config/menu.json | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/config/menu.json b/config/menu.json index 257dea0..c52f8af 100644 --- a/config/menu.json +++ b/config/menu.json @@ -7,7 +7,8 @@ "Bash completion, part 1": "2016/10/16/an-introduction-to-bash-completion-part-1", "Bash completion, part 2": "2016/10/16/an-introduction-to-bash-completion-part-2", "Virtual tables in JFR Pary tournaments": "2018/02/04/jfr-pary-virtual-table-tournament", - "Sniffing SQL queries on BWS files": "2018/02/28/debugging-queries-to-bws" + "Sniffing SQL queries on BWS files": "2018/02/28/debugging-queries-to-bws", + "Generating and verifying boards in SquareDeal": "2019/01/03/generating-and-verifying-boards-with-squaredeal" }, "My projects": { "_separator1": "Racing stuff", |