urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-14 11:08:45 +03:00
Code Issues Packages Projects Releases Wiki Activity

No dirty pages.

Browse Source
This commit is contained in:
C. Guy Yarvin 2015-05-21 15:34:49 -07:00
parent ed40602cbe
commit 6088ddcef5
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
n/e.c
View File

@ -552,7 +552,6 @@ _ce_patch_compose(void)
} }
if ( !pgs_w ) { if ( !pgs_w ) {
fprintf(stderr, "no dirty pages\r\n");
return 0; return 0;
} }
else { else {