diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-19 18:34:50 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-19 18:39:21 +0200 |
| commit | cdc75b8c0f2459a4efc39a65dd51252ee8ec7280 (patch) | |
| tree | 86e5344c3d37df346ee6a3b8cd9629db0e6e4e99 /scripts/picosat-959/picosat.c | |
| parent | 6561f37a68180a80a5fb69b904b0d996467a3f77 (diff) | |
| download | linux-conf-perf-cdc75b8c0f2459a4efc39a65dd51252ee8ec7280.tar.gz linux-conf-perf-cdc75b8c0f2459a4efc39a65dd51252ee8ec7280.tar.bz2 linux-conf-perf-cdc75b8c0f2459a4efc39a65dd51252ee8ec7280.zip | |
Move boot and remove compile script
Compile script is not required if we use GNUmakefile.
Holding script folder only because of boot script makes no sense.
Diffstat (limited to 'scripts/picosat-959/picosat.c')
0 files changed, 0 insertions, 0 deletions