1da177e4c3
Initial git repository build. I'm not bothering with the full history, even though we have it. We can create a separate "historical" git archive of that later if we want to, and in the meantime it's about 3.2GB when imported into git - space that would just make the early git days unnecessarily complicated, when we don't have a lot of good infrastructure for it. Let it rip!
3 lines
116 B
C
3 lines
116 B
C
extern void integrator_time_init(unsigned long, unsigned int);
|
|
extern unsigned long integrator_gettimeoffset(void);
|