diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2011-07-05 09:30:11 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2011-07-05 09:30:11 +0200 |
| commit | 345f852afe0b183f1336e00a69ef68c3445ee993 (patch) | |
| tree | 49b6a01f3a4eb37acfe00b7649a00706861408ce /open_issues/term_blocking.mdwn | |
| parent | fcb3a1b8833d870e473718fbdd19dff0322d557a (diff) | |
| download | web-345f852afe0b183f1336e00a69ef68c3445ee993.tar.gz web-345f852afe0b183f1336e00a69ef68c3445ee993.tar.bz2 web-345f852afe0b183f1336e00a69ef68c3445ee993.zip | |
open_issues/term_blocking/2011-07-04: New.
Diffstat (limited to 'open_issues/term_blocking.mdwn')
| -rw-r--r-- | open_issues/term_blocking.mdwn | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/open_issues/term_blocking.mdwn b/open_issues/term_blocking.mdwn index a2435b90..19d18d0e 100644 --- a/open_issues/term_blocking.mdwn +++ b/open_issues/term_blocking.mdwn @@ -114,6 +114,9 @@ started GDB (the system one, for `.debug` stuff) on `/hurd/term`, `set noninvasive on`, attach to the *term* that GDB is using. +[[2011-07-04]]. + + # Formal Verification This issue may be a simple programming error, or it may be more complicated. |