mirror of
https://gitlab.com/libeigen/eigen.git
synced 2025-08-14 12:46:00 +08:00
todo list for the script eigen_gen_docs
This commit is contained in:
parent
456b6abed5
commit
d37de5db30
@ -1,5 +1,8 @@
|
||||
#!/bin/sh
|
||||
|
||||
# TODO : actually exit on exit, currently it only exit from the ()
|
||||
# TODO : display error msg on stderr instead of stdout
|
||||
|
||||
# configuration
|
||||
USER='orzel'
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user