Mash the garlic and salt together in a small bowl, with the back of a spoon. Stir in the mustard and lemon juice. Whisk in the olive oil, vinegar, and pepper. Makes about 1/3 cup.