add todos
This commit is contained in:
parent
49f07de7a2
commit
b5d8065cb9
3 changed files with 9 additions and 0 deletions
|
|
@ -1,5 +1,6 @@
|
|||
(* TODO
|
||||
! use lock
|
||||
!? Scanf not thread-safe
|
||||
schedule tasks
|
||||
sign: check timestamps before signing *)
|
||||
(* IMPROVE
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue