urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-01 17:16:47 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1337 from jfranklin9000/v0.8.0.rc

Browse Source 
Remove cheesy Libraries header in main.c:report()
This commit is contained in:
Jared Tobin 2019-07-16 10:56:35 -02:30 committed by GitHub
commit 8fcf88b03e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkg/urbit/daemon/main.c
View File

@ -472,7 +472,6 @@ static void
report(void)
{
printf("urbit %s\n", URBIT_VERSION);
printf("---------\nLibraries\n---------\n");
printf("gmp: %s\n", gmp_version);
printf("sigsegv: %d.%d\n",
(libsigsegv_version >> 8) & 0xff,