[examples] License of examples/chicken.jpg may not be free

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

GNU Lesser General Public License v2.1

143 stars 31 forks source link

Closed ejgallego closed 3 months ago

ejgallego commented 4 months ago

It seems that the image we used in the demo may not be free for us to even include here.

Let's resolve this by using a free image.

ejgallego commented 3 months ago

@Alizter you mind doing a PR with the replacement image? TIA

Alizter commented 3 months ago

@ejgallego Sure.

ejgallego commented 3 months ago

Thanks a lot!