Gnocchi with basil

1 tablespoon olive oil 1 onion , chopped 1 red pepper, deseeded and finely chopped 1 garlic clove , crushed 1 (14 ounce) can chopped tomatoes 17 1/2 ounces[...]

1 tablespoon olive oil 1 onion , chopped 1 red pepper, deseeded and finely chopped 1 garlic clove , crushed 1 (14 ounce) can chopped tomatoes 1 lb gnocchi 2[...]