This commit is contained in:
Andreas Rumpf 2019-05-24 22:50:43 +02:00 • committed by GitHub
commit 7e53c1c5c5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 19 additions and 2 deletions

View file

@ -0,0 +1,2 @@
proc mmodule_same_proc_client*(x: string): bool = x.len > 0