Skip to content
Idris2 on Ubuntu

Extract regexp for .ipkg sourcedir option to constant and update the regexp to include also double quotes. #246

Sign in to view logs

Extract regexp for .ipkg sourcedir option to constant and update the regexp to include also double quotes.

Extract regexp for .ipkg sourcedir option to constant and update the regexp to include also double quotes. #246

Annotations

2 errors

This job was cancelled