denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-22 04:52:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
2eccfc5dc9c88766ef36a79e045ddfa5717f806f
genode/os/src/lib/config_args
History
Christian Prochaska b45571e9d0 Set argv[argc] to 0 in 'config_args' libc plugin 
Fixes #201.
2012-05-10 19:09:40 +02:00
..
config_args.cc
Set argv[argc] to 0 in 'config_args' libc plugin
2012-05-10 19:09:40 +02:00