Skip to content

Commit

Permalink
build: remove publish.sh script
Browse files Browse the repository at this point in the history 
This script is too specific to my own development environment,
and of no real use to anyone else.
  • Loading branch information
@RMerl
RMerl committed Nov 3, 2021
1 parent de58d69 commit a888d58
Showing 1 changed file with 0 additions and 54 deletions.
54 changes: 0 additions & 54 deletions tools/publish.sh
View file

This file was deleted.

0 comments on commit a888d58

Please sign in to comment.