diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
| @@ -1,6 +1,4 @@ | |||
| 1 | config.mk | 1 | config.mk |
| 2 | benchmark/results | ||
| 3 | benchmark/run | ||
| 4 | gen | 2 | gen |
| 5 | debuggen | 3 | debuggen |
| 6 | perf.data | 4 | perf.data |
![]() |
index : nissy-core | |
| The "engine" of nissy, including the H48 optimal solver. |
| aboutsummaryrefslogtreecommitdiff |
| -rw-r--r-- | .gitignore | 2 |
| @@ -1,6 +1,4 @@ | |||
| 1 | config.mk | 1 | config.mk |
| 2 | benchmark/results | ||
| 3 | benchmark/run | ||
| 4 | gen | 2 | gen |
| 5 | debuggen | 3 | debuggen |
| 6 | perf.data | 4 | perf.data |
Generated with cgit - Back to sebastiano.tronto.net