Add update script

This commit is contained in:
sharkdp 2020-09-20 21:09:07 +02:00 committed by David Peter
parent 436a16aba6
commit 89b62d579f

View File

@ -0,0 +1,3 @@
#!/bin/bash
python create_highlighted_versions.py -O highlighted