8ddd487
1
2
3
#!/bin/bash echo "This is a demo tool that could be brought into the code-server workspace"
